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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
5a81b5f67d5761d73e86282eb901ea7d6a44db3e
07cbc6b749b52cec3ba8a5be5fc1bda2f4cf2022
7fdfc98bd83c1f649e521b27cb6594382b4f1b75
268f24e1ddffb119e010ba7ad2ed4dd06870421e
28e6fd056b8a88e225a0100a6c8704d763dcb1cd
412f8f595b63f62383a72a1037c9a2cd9b42591c
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

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