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: 4e2c9f623605f45b1f413e7a39cfb131b6827ec6
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
7d2c249cf23f556e8f01a55c7075a5301baa24e3
ba1679dece013d84fcdc8710ac30ade6d59366f6
c82df104dbcd7c20244b689e204159b2b98148f2
1c6cc90f9d6e2fb3a5b3f99d61500bf8402fd825
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Def1/NumLe/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules