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: b5716e16e60ad29f53ff7ce4f57cd7a6ff8cf946
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
8ae3d519172735485924620e62e79e416f78cd0d
e0fc93f5e208785dadcc8067e7b3e009f93abe2c
774afc9ea23f3d36a6277dfe4bcbb57b3cb67e93
2dc2cdc264ae197184b710a500749116f8121ac4
fc94218300bb3bad192e14ca28249039837a5bf1
--no-deadlock
violation
execution log
execution result
execution command line
Source Files
Folder Path
AndProp/BoolTrue/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules