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: 505235227c2e3cbbe20a035b26d0b81f55a19a8f
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
03673d0f86a42cd970d0991226b4059373d96b0d
4cff0f449a9777cc9293a49317c93083cee394df
80ed39a21701899ac303372ec05db6e93311f0ca
c2952efed662a5a9fb5ee2e9f233238c7991ddac
995cf19ccd674ca987e8f478d2b412b1f716afba
ebb06aea0bb4aa3c3d7cb942385e82e3200652de
19d342465a32bc55493e462c7aa75d1f62ba13a5
5c6e67278cbfd2927579ee5be36ebf4f482c691e
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Choose/OneLineComment/no-dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules