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: 3a36cb42b5d349fe47c0eeb5be8a210651e6acfc
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
421fa69db80e35df9cb75465fd19a7248e9b5b6a
a4276e8b05fb221ddfe5a91c3a60e3e92cfb35ec
048ac972b41ffb548e179662cd6371991f0ddbd3
2ed04d6c5182223e3ea4b6cf996a5887faceffd0
1b16be17476ddda1c71805c12a3c4348576d3378
6016ce3244b9a12836c763d55dd064faa636661c
261f3d400205d6c01ae8491b9e6d567dd9e07064
5426724b9437cca0127cbf17ec7894c21df5478f
47ee153a433faf705a75c39f99f5f6b36d22ed6a
518faaca974d0a83eecd148018d066c7a96391c2
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
IfCond/OneLineComment/no-dl/ref
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules