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: 40fdd2e6c4f8bc641fe446e5da924be492b8ba38
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
d8d71035799653dafe5ba09c0437c0411ae866fa
8ce78e4ed26e8a111fed19afdb1e225cc96071c3
a47a1f8d1f1c115a08aa1bc437420bf30291fc12
-workers 2
violation
execution log
execution result
execution command line
Source Files
Folder Path
NumLt/IfCond/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules