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: c46d39dca1992434bd415a8ee951d40565e566a4
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
96ce495c285577ce595330c6b503f7c64be299f8
30a3f4b50045ae81e1cb9c317946ae963734256f
af17cdf2f0c846829cba4c72278a60820b579ae4
5c1f96b51a5d97532127d70ad1dde9df853ec5c6
05d981eb2a832badc1776666890bd3435b82789c
a65ec76282cb7fe20ebaab41d9f53ee753c861f4
3fcc5c807a17a7d4997d4582a289627f3db4896e
violation
execution log
execution result
execution command line
Source Files
Folder Path
Def0/BagSubsetEqBag/dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules