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: cf5844324076d663c262cbdc440a33e04557b0a1
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
549d41ac6eb7ca954d5884e6c00fdd7c624693f6
3aecdb7a799e93758d8b6cef8096f78d68c1a613
72657d90d3a4f9ae6291424bc33fc9752406ddd6
73bf8411a043864de1eb6dc2509d0a20189af56a
--no-deadlock
violation
execution log
execution result
execution command line
Source Files
Folder Path
Except1Rec/ConstantRank1/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules