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: a7a8157f1830da09ded19b9fffb1b8ed137138a4
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
0856bc21023b45ce56b3d3c01cf38abd1851bc59
493497e8d01774d26d4c7f1bc3b48d4028a3d18a
e07cd7c11645ab63fb560955dc8084122b69b85b
9fb8920de1e19037d8891e9d7cf4186acfb2ebd2
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
And/BoolFalse/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules