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: f2fe63f15f82d5dd469bd53cd262ccfda1b042fe
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
5abffac19786d48e6e048f2f3276f71a451e9b5e
92b059001b7a533e548ec2fcfab7a09565dfb21a
e5e279aa5f6d2cd1b33c779693aef4b8da5beded
9d80187eecc0f01b1ac65a52c46af2c85529d5fa
1a5a22e66418ac7a6e56f1a26b8b2b6f2ccedb18
f71abcc57aa27b47ce0d17ca289360e53519e4f7
0bbaad7d07992eb911b299222e9511a1c8f6d49a
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Def0/BagAddBag/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules