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: a2b76f3e834abbc116854b2065a756bd119e7876
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
7419a3a859e6dd1a91bc573425d498af514e9652
4b48e8743dc6f9b2025ab831a9eaed8a588f0c39
8ae7d9b65ace623d2a5706bac32f7a16d95d33c3
-workers auto
violation
execution log
execution result
execution command line
Source Files
Folder Path
FiniteSetsCardinality/IfCond/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules