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
Model Id: c295c1dace7500f72f9b7a69ae1d9369eb285ca8
Test Case Back References
Cmd Options
Execution Result
Execution Output/Meta
Test Case Id
f2ab340cc4285f1c392bbaaf4a7c073eb038697d
250c5b8d1005325e4bd806cd0e5d197843ee2715
132acd7b7f8569209a706546cb3f4cf202136e21
2f9dc7282e611192a5b895b85902a15321eb780e
afb9703ab9937044f16eb1089d5e0832230a75b8
4218054b73e9b778c75507ede6afb750427dfafe
18f524b764ce85f1c3df9f17d389cabfe5721d27
4e90a6ac44e47b7923308f135c99831db477d5a7
violation
execution log
execution result
execution command line
Source Files
Folder Path
Def0/FiniteSetsCardinality/dl/ref
Configuration
Apalache_M0.cfg
Main Module
Apalache_M0.tla
Other Modules