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: 86a0306ab70bcb746475d1d4c9d039d9e4c1c909
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
875a87caa2b4beefea4f4949f7587818a3157b67
80939ab9deb3cb68df07b6434b2c4fc41d3a3ef0
55b23a61ea49306e1468c5c5fa743254e5051347
550c63bd7ae157229ba9346f954d013cf7895e0c
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
SubsetEq/Def1/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules