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: 41a46fc329c69f298aa1b1894aefb70aacb7fce1
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
048ac972b41ffb548e179662cd6371991f0ddbd3
7075187047528f63e9d37ba870763791fa20fbbf
4e4f428f084ad7455ae0224415ac4de35d2104a8
4f3ac5ad0bb3717cfc337677eead9f0e921a183e
125dd2aa2ca5c90774e9f522d49cbe720006730b
6edba2231e5c2e881c6532531ef40de09f689c81
5426724b9437cca0127cbf17ec7894c21df5478f
--no-deadlock
violation
execution log
execution result
execution command line
Source Files
Folder Path
IfCond/BoolTrue/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules