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: 9815ebaa58fc53448ac98d93d6fa03813aa5d276
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
4c3f24ddeaf03d8a8bd6ce900defaa512a4b2ee4
ec0fdcd0ce90b00d64917091a8104d60a8db6be0
edb1f2b637c6b7ed80b162a6f5df89c8e898a48e
64b755e3242f1c52c9aea303e572f7c8d90fd241
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Variable/BagBagCardinality/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules