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: 478c298839b479216b2a572a18d4ac44bcbc499a
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
b03d721c8648a8b123cb5efbe1d5da2b9ec98a68
bd0c3f1919f35bafbe1cc6aceed6b5acba0e8aaa
baa095446c78f120d11f37323e67b35a63d162f8
6bcd54cfa9f93f6fe6d3921507e7dc2f612e6c44
6bcd54cfa9f93f6fe6d3921507e7dc2f612e6c44
fbca2b61e709baafafea9c1ef5a316dceb150690
6e0f1de9cf17994d30bb6e68f62f56cec83f7798
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
AssumeNamed/Def2/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules