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: 513df56fc038b7a7f8c89103b8a4059eff278ed9
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
ba11baea47b98ab1d93712760e0b3eea81ba161c
8b52571534c05b4cad5b2cad831da7a928c0a639
db99b6fd288c92474148b85114ba8f9b0d58da62
02af465ebe1c2dfed9ce1f83f1c38571db4be59c
a044eb28348c6f71c9cc15098a875d161fb646a2
512ceec66484726c12cf93b327b87a5b0e027b34
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Variable/OneLineComment/no-dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules