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: c673dca8ad0e86fcc617079fd5ebac8bd6cc04b2
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
84109080847331241f333a809d45ffbbd2ffdd83
ef888b4405913a1c678df7115489c37cd836ffc8
62465e21897a7ed58669acdf4a6652647f1c3d30
af2dd815ef9c859883679a574376b8706f7bc7de
c9f8c91dd427553e732ae0077db98905ef09d428
921b34173389d06d5e25171a2ac0db0f25c97904
a5ea73d497adc36833e6719fd7d6b10ba2c039f0
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Def0/BagBagOfAll/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules