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: ed771917dbe41a35bc1ae1dc5e2d9ea2331ad7f0
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
0d74f7c5c26b51f1e9bad6d8a52de6a337f5fc8d
e7304e5a050014edb85863e2c07970372db72f4f
1d95054241c9267de36e2dc7cceed7ad1ea9cc1a
763b4372acded9e33e4bcac91a77f4a4878f52eb
f912d0d3e6254c97da41e0d60aca17fee05cb7f1
80eac861073e7f69b1381b9924421a42862495cb
1fb2479b22dbd719a26f9e2189f5823779f139a4
b308e7c12616fa624d6e30ff7abd5daa6eb5f04c
3300083a8a9e41228986ca7e423ec71232d0a324
26c5555bdb0620134e583e2246a3ac360c77f8c4
a409c2089a4afd620edb783886b5edea39e5712c
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Set0/ConstantRank1/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules