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: cff660be494807dea8f2722f572f912f2e42e1fd
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
9eb5c1f78288b77c4e3e86cbafa574769189aab4
54cdb4b1f0bd06dd757a3ff3e95f427fc2057152
c4ad2af27d7055908b49deddb10d7e36edc07d68
bf39d7ced6b4b262e7aacf02255c59eade9de420
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Def1Recursive/Equivalence/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules