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: 08a15daa6fa0bedcd6d40bf3af07ec79b5229fba
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
d2e9d251deaa8de45237ebaf54ff54eae05d3d86
c626c2995f82573a49d43b9046f18796ce75c7f2
678a69b6c1f73d5d893e115a8e863e3250a08dbc
0b98ae80ff61c7a9a9aba4193687b661c1c4c07c
0b98ae80ff61c7a9a9aba4193687b661c1c4c07c
be0a46f00b962859646e73985f1cf10d10532c23
9639ff9af9b019a8f962268f32cc8a20e2be5205
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
NumPow/Def2/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules