Index
Introduction
Skipped feature combinations
Failed test cases
Tests by feature combinations
SYMMETRY
tests
Tests under anomalous conditions
Tests by feature combinations:
-workers 2
SYMMETRY
tests:
-workers 2
Tests by feature combinations:
-workers auto
SYMMETRY
tests:
-workers auto
Model Id: b93158f08d42527913b41249be52ebc40eed92f6
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
ea45a092f35a1079dabb16dfceddf8a8a40b3265
e28683fe650b24e059b3ef1280c9e264692bfeae
641b3fa26f123cdebd8e158e541f40f6eae82c14
8dc6a03fc55c1fc13b8c75071f810adca1dd3047
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
AndProp/Def1Recursive/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules