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: 21f3df65818ecc1db688917b4b7bb93af7daeb6e

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
30bb7749412ddc057839ff21819ac314567b0022
ab17428c3b6ce1cc0ae4e6afed086c2562832ddc
92baab60cce768baaaf7cd5c96b752e3a65783f2
aaca363cce4eb116a34e4ba4ed7e25f69622b1b4
cf2a83eedb653ed9e8319169a099fc3b8a063074
740ab7f9957536115b6f1bae2360b2bb5084e942
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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