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: 649b1fee33c8fbddc7bb26c46f441614f25c0a7d
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
18b6b46071b0a9d2dafab572c1af0d5352789783
e9cc3a09fbbf3e92ddadf3d661ac89ee33de8dfb
3e28eccccaa33e6dc29a52a3c75a80cb3d231ee3
64bc6ac23bce0bf87b50b0035f07f29a73cf92c5
5d85410a215cb15495beeed97761c3ef4943dfd5
81b24f92cf39a9dbde1f271bff17fdbdce47f5d3
552328426bd9defeb729a13d70b2dd62f93cccca
4019a74af39f519007315b76d1cea75ff275df20
9748fdf97de15b6482edad1a7a2aff17a52d2ee2
90dd803d3e2d9038b8eee84ba47d7ce1ccf446d2
817f84f12fb86580428d7dae0cd14d67399109af
8a583d1737abeaac5d330f9eb39b09fe452d7035
d5bbd75716e641a328b9de64f533855641d411dd
bd517185f7850c8119c0a99c030035b0b1215c3c
a26a3eab388fb1e96b462b45a3439021aaf7da5f
0a9844c2db7d02def490b7e24be17ce0fbb4258b
6512aec031c7d955441e969387eea9f1fb7bf91f
ec3360a58b609cf83eea6f73db57c2f2a683cc79
3f6a879eae5165643a7b8d503cb92f614e20e8e7
fb7e34c91152709c0731ad4faa3e494a714a7da0
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Instance/Def0/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules
Apalache_x1.tla