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: 3dce25bc5248aaeb7499b0a401e434821cbd0386
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
36d6bc035e7fff1553862134e2408a372fb7d7ee
a3e137698aaae7a4ae43fbd77fb5acf25a67b677
d8a8a8eb64240fd7f1b25d7d226ccdc265feab42
fd0ab26042f150ebf5e4754fe8274ce0fe6a4048
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
FiniteSetsCardinality/Def0/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules