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 case feature
Set1InDef
; CLI Option:
-workers 1
Id
Type
Case Feature
Plug Feature
Check Deadlock
Test Results
Test Models
b9189b1d6f379c51555dae97d595d764c146a3b5
Apalache
Set1InDef
InDef2
True
Passed
Model Under Test
Equivalent Model
b4a275e9ec4bc2f6cb3676f897e6e1bc97f70db8
Apalache
Set1InDef
InDef2
False
Passed
Model Under Test
Equivalent Model