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: a58c74444eeac35e1b7a3c427f48508369967dbe

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
61eab3a62b3b3765423a31bdb1d5a9b6cb119aff
49eab2d4425daaadcce21b790d02030d2bd37300
a942cb994b060c986d3539229be6624a7369353f
2bb3769ec540c5760aa521e8cefd1e7deee5d72f
e687c887160138fc190f5f6daee52854af59f239
dd4ff2fdb3abe3f411b4a9c16a52e53f75fdb2f0
c59fd7457d90ebee01c11bc52f08d37eb5aa7309
success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Def0/BagBagOfAll/dl/ref
Configuration Apalache_M0.cfg
Main Module Apalache_M0.tla
Other Modules