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: ed9c582a52550c4d6429eb6aa0c768d390dbce46
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
0776b02eb9823b8ae2b5d07f8ce862646f962b80
bcfcd0238bfb572d07a8f5e56e8f7aab74e903be
4e25fcb5e3f40ae276d4c3c4e8930b5fec4edfaf
-workers 2
violation
execution log
execution result
execution command line
Source Files
Folder Path
BagBagCardinality/IfCond/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules