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: 05ec105883657af9d2dc949b12c761ef59d020cb
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
ca4a857bd81604318a89209ca0c3edbfd8e4d09c
a02e2969bd33c232695bb09b61385db1f5f1ab6a
b1562b25af6a5e8eec4be939342a9bd3b333ae1f
925c68a0633b94a299cf691de8d74b4e1fe192e7
c61fb01f834f27c6d99966b6309e9ea8cd93d7e4
59dcbfe26f385bd2d8f71312dc33ae8029ea5243
e391216f19a354f8eb8fec685623acbb1ec6003d
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Def0/BagBagSub/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules