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
Model Id: 860b6922d7e8af63eaa352e0d621fa1207cd93ce
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
890d6e8f66e6e82ef519590470841b5a4f760fea
0ff353ad8365ef64b1fedf495b429d7b69a887af
bac3ac78de6e0a2c72f66e7e499be62a616a8c0b
8ea4b58783303b2a86b3bfc1a037c53bbaa72497
fa438a8efa5439f31b82db88a564bb306452ef4d
c541da2df8641976d83bb11836100947b3992679
cd436baa923675a376e9426e8378ff71306ca96a
--no-deadlock
success
execution log
execution result
execution command line
Source Files
Folder Path
Def0/BagBagToSet/no-dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules