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: b179e53b3e24b13fd0c49096dc951989d8932fd1
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
e60294d7972a593849e86fd901ca4b1f6f5188bd
8f2ae54ba5375f4880b9936d5ee850fc9df355d0
555338d97046f5a091e70d45de6e05ca9a861d60
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
BagBagIn/SubsetEq/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules