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: 8229caa680b61535497f15201fc6e9b554f51150

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
4ef46eb1e686231b1e6dc0516cda7fd8d97e016f
69d013e2ed2bfdd9d9da206419bdcdb2c31baffc
40d58a52c43b1f2bc5e6c653182eedd835a5e6f9
f850685db6ae66c8714c936c25ed0c37c9750e9b
57df460ccee615a7d423b1a1f17f29ee8b4e0d2e
247ca6c19d1231f352b3dfac6763f9afac156c75
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceInFolder/BagCopiesIn/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x1.tla