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: 5d8e4befdf7a2b9569e0d7d81c7032ad97e08731
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
c301a2141eae463dd1b96ff2a5ca3a98d634995a
bae16137d6114e261f2be0d648e1fbf1449e1ab6
24be45b22596251ae0921f1ed1befa2d1b45ad95
d79ce65d59d71e2d1c089cbc9be0c06471a647bf
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Def0/Choose/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules