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: c2e60f58a9f210fa40cb315f7504f620d7179f9c
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
e60752ba4bfbe780c9cdd4ec171e4f65bdc87d00
df69300fa5267f051d07c7331a11b2cfb04be50c
6d22b774eb1c10c7aa134e4a39698431c841ff8c
2f9dc7282e611192a5b895b85902a15321eb780e
6255c1a1617a317fbcee1dbdc2e5cd7c135e7b0c
056f8d30177b319468d2e4abe9afbd13fca84909
d292afa17d98c107a43603a893d080ce2ed1d70b
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
TlcEval/FiniteSetsCardinality/dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules