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
Model Id: 5f4ec75cd3d80b5aefedcded204253ea33a8343d
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
a384cfe51a3f8eed5e48f12d999762513e4ab7e9
31effcd0fa642aa46e30fd5b38157c6da51feac8
18c091666b4d57070c922490c38012fdb7fe7c24
cc30efb1bcad44905f03b3b7a858eb6dd98d8fc9
1ff89852084c936aa8d3e7f3cde7a86dd3044d38
f24455401af1829c4895d2e47f20cb08f2dfb3f9
--no-deadlock
violation
execution log
execution result
execution command line
Source Files
Folder Path
And/BoolTrue/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules