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: e18ed2dfae5c6e4672d1746812e37b84252548d1
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
080182f5b3a1c49f5d516ecd6c08d275bd8b0643
e0e0e142cf9d32aa85f72612999a27f3106c05e2
ad95b77709069e2b39cfa84bd0fa2a49168cf72f
02a29d2832c01b57a58a19d04c35b334c2d3302c
e96762ce5528f1d9946226a9a331c81171dbe094
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
FunApp/Fun/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules