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: 76c469c3ed63a2f7c0c011422ad20aea9cac50a6
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
ff8d44090b86ec26ee3983a5c4143c1a830b76c8
61fa30f69767e6de44c58411acfa0e2607637348
42444f5d6bb35565b9b856437c962c30cfc347b6
7cae04d802d9f8920865f06e0ca90d278d8172d6
66d32294bfca4af863836a156bf522f3d312da75
5cbc86142d5db0fe1b4980971771a5e17925a79b
805110db68ab2e2e981419691ed073181d4b7a8e
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Def0/Def2/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules