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: ac11c8c850cf83e6dbf0d8daee9f4640b30ff229
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
c4b2880242f6235de412eff8d40e7fdff2615fbd
02f1e320b11bbafcb3275737049681171dffae4a
e4fb27e48a68ee231b8d6caf31bd8335d91356c5
0a77192f1209c77135c9307377a80e0ddd332a74
4a0de05d1eb5e9045aea4ddd18ae9a877bfd6f98
8766022f27ab2b753a449295d90f7f3eda41b243
5d460eb37cca564beb60dadbb1b658273298326c
cc47003393124f97c44e6cc2e72339f407aea014
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Def0/BagBagUnion/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules