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: 97dd8ac5975c9b333ea1d9cd51d661852c665217
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
fea179969cd69f005f246e093f3e342c63a4c73d
6628642f7c54b91b9e82aeb8963b7b1e10f042e0
abeed160eda3cee3f876d09d8417ee8580232923
9841c5438ae62b2148803dc0fb189b79d13f267a
9841c5438ae62b2148803dc0fb189b79d13f267a
4f84ae4d29e194939f93715b0457c40bd079939e
8a268638ebd4ef28c542f8e013736b62bc9a87d9
dc018d4d893ef729ed2ae0143303af256202eedb
eae9a2b292a45ec473f9ed6eed185f59497daa91
562938c805baaf03790e68d08492a5e313b98ad7
5d5292144f07addc15728c1928bb73b0e79d703a
5d5292144f07addc15728c1928bb73b0e79d703a
da72b886941f1af075322c6c7a7c26484d034247
03b749ef5760371409aff61af6b3aa52ebcbad77
-workers 1
success
execution log
execution result
execution command line
Source Files
Folder Path
InstanceInFolder/Def2/dl/tlc
Configuration
TLC_M0.cfg
Main Module
TLC_M0.tla
Other Modules
TLC_x2.tla