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: ae9ea4da8333e5fb21bdc88340c250d026071671
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
60270c822c6a6f61e46e9c3b8c538d0bcc99dda7
1fad99f935ccaa29a210f2dc9d80971d03478e5c
b2fd4dc68fdaff0dfe92dfd4bfa61ca36dd6afbf
698be23b6985fddec8b65776a235baa0affac498
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
TlcEval/BagSubsetEqBag/no-dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules