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: 51219d27b4c399af1cd4ba3960dc270766bc2b20
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
b8d4aa8802eceec85fd8cce115e8aceacdefe5ca
c9453f7f97c83505272e86e7f3d94d9a4fc5fedd
1324fe4eb67e217f6d2151d9fae9b14d663bb90b
b43529bd95805eed3e891e9eb7043d208fe9ee36
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Except1Rec/Def1Recursive/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules