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: 10eb4aa6a323ae656cc359f4b074416aa8df2e4b
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
1d047777306bb6b9d566700f25a72f2b4cfff1cc
52b0f6f007715219f54e46437c4b3bdf5b48ee81
55d26ae46ee0e49209da40d0648884ed8652b525
4ff477d76c0a2b0589786d2f6ee46e89b65524f4
4ff477d76c0a2b0589786d2f6ee46e89b65524f4
08242a3b6e795ac706c61b26cbed7465fe39e921
3873fd1bad1f434d49e9f3d65cd950dc86199a25
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
BagBagCardinality/Def2/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules