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: 08ffa3a1114411e6d668f592ec2e2db9c7d1b680
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
5642eb8009219fd2905e047fbd6d287f73c39de8
768e0884354b61bb099fe14f5d6d48995c325247
77ba17d0643520e0d028f7debee8307770100fe7
41752ce9a53801934478a858ef85513e5f0ad5b9
1473b360373edc360e034bcbf5b8e2b5f6c76649
2a01d19d962001616465c9456dfc4b91049d4573
443373a8334263bb0de395337cd8189bb970930c
201bc1527f3f8a569cff275c383c54c94e72424a
fad6d146ff5b54fd80185386104f6c2f274bd78e
e61bc79adee43733b694ba0596886a9a6cb9efdc
38b51393f1e3a315ae248ae89f504131492c2b05
8272ff548a05c8fb17ff8ceefc4e213b40c08482
469a2d37c1ddd12e7737faa9c362ca3776310cea
cb6df7cf849135be9bece27430ad826b5faf8dc9
90a6e439286370ec6fa739e9c5d35fd19f98c261
adf18be2adea5151f3bfce5ddffea290864ad917
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Def0/Extends/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules
Apalache_x1.tla