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: 773462913db35c7ed68209ecfe4fbf680e653c89
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
8949c932947aa837b246cf524660bcd9555c369e
999637f394812dd97a54cd2a5840dad65d848f8f
810e4cd5b6144041cacbed11d236e25c8aab94ee
383b6071b147d15a6b5b76b19f1aa092aed663bd
4f3f115b7e191fff4d383f739521241ecb93b20b
9f13afcd1db8cb952f1510eac6812be2edf2b613
dd5685adf45589f689b7e32ca681c9f44be15061
80dcd5cb020229486aa344d05a8a05d2d508318d
violation
execution log
execution result
execution command line
Source Files
Folder Path
Def0/SubsetEq/dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules