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: 86d149c5dfeb5bb90fd36d0e382e5cda3049c28d
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
4218054b73e9b778c75507ede6afb750427dfafe
a8ba1b2a2057a181a774c2b50321a8d9fc6485b7
7419a3a859e6dd1a91bc573425d498af514e9652
18f524b764ce85f1c3df9f17d389cabfe5721d27
c9d9a05457dad3ae0adee0eba01f454e47edb476
4b48e8743dc6f9b2025ab831a9eaed8a588f0c39
4e90a6ac44e47b7923308f135c99831db477d5a7
efe3748dfe1ddd4296ea536907c9dd3090f64530
8ae7d9b65ace623d2a5706bac32f7a16d95d33c3
-workers 1
violation
execution log
execution result
execution command line
Source Files
Folder Path
FiniteSetsCardinality/IfCond/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules