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: afd9e83a7fcfa5efba9a00472562b6ccd8045059
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
782ee242fb43f28ad9d56c313949649532c5d04f
740366d9c92bea3b3f3ef72f635d5651106802e2
00f1fad4713227b7050bf879ac0eae2f6a39fde8
a782bfc3b289d948c0a2705bec5c460f24b4a0e9
6cba060e16bbfc8c2044088025ee4a4d60ea9947
016e17ffd626759d201a7a839fafe2a28629c73c
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
NumPow/OneLineComment/dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules