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: c1bbb4df38bde1e4b6e93f7d62aca1b622a8ba90
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
5d1fdd6aa3bd5c29be8aa6a6c4ed31b7850db614
5392c52394d05c533bd3868957878669d2d86ff9
60e323f454f9953a7a616aeaf7eaa0e14ba658cf
-workers 1
success
execution log
execution result
execution command line
Source Files
Folder Path
NumMinus/BagBagCardinality/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules