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: 0c998df3f50d2a187f9e0812bc3cb600bba17e40
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
76d88883356026da40eef97c79716dc20db2efe2
15b6a6bc04deefba6bb1c29d4520938c6a42a76c
e153cecd33f456ca99b63c755171f3942e34e4df
f9c711a98f2837dbbbbbf239c53478dfdf66f2b1
20ad6cb51bc8b7df21de843541d426c6fae02d6f
af5bd03ad4cd6f29b8fdea199b421bfecdc63ef4
02ddfc57ce01c103363a0a1cf063abc4598e1be5
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
DefFunRecursive/ConstantRank1/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules