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: ef7dfe64c1f2717ea4173ca37e5dbded1aedc6d2
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
f0c93cb98540b37fc766cf5a7a4c3980e24db7c7
ea0dea27de63500cbd6d02e68e16633135b4b982
64b1e2b8085bfae9ec82a15e4a4b3b508f1595e5
e5fb010a4a5069a3534d35a21c564d6465c1bc88
08a11c26bbfbbfb96cb4d3b862ec1724d7e1d0f3
170e32449cc1ae2b6c9837b8e923840002ae5a09
b446ec0e40a7c9c2ac503e6661d5a3a0bb241c36
4271ae2981ac257995b7a53e182466ddb2e220d2
d018a9105a781ba25e53fbf2a49995d42a224caa
a26c68af20478a2b35f25eb456cb429d1f200360
5996a8d3952ca13cfd3e2209b16ca7d36c513431
af1c4ea50693289827e9f786491d52d0db0d6cc0
63aebfa6f83d3429f6bdb93c61eba5b94d45987e
93e67e5f0cbfdaf9f199c246daebffeeaf101b4c
f2396a9d598f8719c0af61dab73f3d36f0afa4b7
b0edb551380338a9971130a553a916bbd1723000
2f7f4c38ba8144a563df474dd1f654ab466b72ac
8cb1eb259d03cb66d72c10a048cc1aa93e3e0244
f10369d63da8a38d80dca3b3a20c05767edff73f
fa210d81aa06076419d803d708c2149cfaed1781
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
InstanceNamed/Def0/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules
Apalache_x1.tla