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: 9bd5e4231d4d07911f6ece9587a5c37efd9b0f5e
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
a582ed1ada7c4a63ed62178f8ec29f79d310f6a7
57745ef0b9088c8f06f79d69aa0f73c9660e7168
3ce255dd5a7544d39f0ec7a507c8aa151718ff4d
5bcc82d2f98a53898bf27a1a298b268dda72898b
bf08f5ceeb487d7ea783232b37e76898d501cb88
ad5c339a25f960d3b3e16a6d17150501751009dc
9d404faea7ff867ab7a4436fae1582986b0a13e9
6c65df30cda34365069fb315d62cff800e7be880
84fc3b746b0a1fb1819881877fb1ea32a16f3a13
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
AndMultiLine/IfCond/no-dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules