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: 3f993c7c7322cff51867a27cd3d9191590868eeb

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
a89b39bd6c966df38010dbd70161f28db93d9491
28c41b5e776d5db875fa3c0e946f9796871f7d8b
fe76111b1d94518518b8d4ab1a860273ce9b8d0d
a53716a2b2a953f2bb549964ac1da13a9ad7a038
8e052c99acef591c49198cf833c0b2c895218c3e
e6aa91de220654449af1a3f8fedb7dc87a345f61
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceNamed/BagBagIn/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x1.tla