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
Model Id: 6a3c23dfeb2776d4064d7e5ac6692ac462e6e659
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
0af0f1af6a006e5d0abe2379d777b3bbf82b1669
580698336ac0a8026381f2b7bc97659b85a2dbaa
ef2c4b6b4fdcc995aaae89d1a9b97b6d3f9e3ffc
60e8b720bb3784fbcb38ca8d654a783650a191cc
8f9b905a2b4a84105af989039350b1a5f0774582
violation
execution log
execution result
execution command line
Source Files
Folder Path
AndProp/BoolTrue/dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules