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: e529d26a86e14accae06b31e12dbeaa4f96e3a2d
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
cd454dfe2b09711b103234cabcb9b81170d4acc0
866a2bbdfdab838b1001812997bc0ef4dd5931b0
645383167daf79a3c2497a2c5c26fb1a7f0d9826
28ca562defc26f59efeb08ee6031994938754aa2
f4303e8d4d9f4ceada0705bb7ca0e3adefb4fb2e
e376ad229fff3a4ee61f4f2cb5a344073c638935
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
NumGt/OneLineComment/no-dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules