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 plug feature
Lambda
; CLI Option:
-workers 1
Id
Type
Case Feature
Plug Feature
Check Deadlock
Test Results
Test Models
e71ed354b08dbeee59fb1478412f014a8e447cc1
Apalache
SeqSelectSeq
Lambda
True
Passed
Model Under Test
Equivalent Model
8a4da0f3ab381a5f3b90621a106ecec48801713a
Apalache
SeqSelectSeq
Lambda
False
Passed
Model Under Test
Equivalent Model