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: 53f712ea5d38bb40e77b62348cb8859d6e61e302
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
3fea1e63913d156d3c02b58e59f895ff08c93d26
638709aca5c1f12df5f4e82a18d8e65df4499fe1
640a5cf5364d6caff1d2a15c333ae1d2e5f85c08
01e84074de3da0825a00585b094bd8beff2665de
success
execution log
execution result
execution command line
Source Files
Folder Path
Set0/BoolTrue/dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules