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: 7df349c4707764862dedf4560502b1c0dfa005c5
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
b3121404907b39cf50f5e33916c9260e230d0525
303fd18bbdcd5e7edb6418e6ddb3278e426c706d
d0a7c23000693b09257a8dea9df735df7fa026e3
fd04ccb168878958ec3dd3b88afe669ad62b155c
2f6a880f2016a0090bcf845aa7df4f816f20c835
7996a17cf1179191b80a9ddc63e915a3210d31d5
4496829a996f0a1bb19b1707a5c956d29113dfe4
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
Boxed/OneLineComment/dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules