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: c87f1dae2080f09ecf419fa2c2d94790d6c12273
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
cbe9260bcdabff05d608f4c630d3bf21fd5c430f
ad7e9e06329da5dd0c7322b9d1bb33484bc219f8
7287678f29467b1734d36084ea60867d262e7b83
6e7b63a04a8f618fec920b98bfcff14f42cb9b2d
ca576e8a351f7e75437a1e87a27634b0ba87b1ca
--no-deadlock
violation
execution log
execution result
execution command line
Source Files
Folder Path
NumPow/NumOne/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules