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: 4970a50f84bf33f4d231182e5b7a41d321881f53

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
88a2ca093f0afe427acaceb0610416f2452fdb83
72b8388d101725ab38a84254e8735838187a3395
594739b1f2dee033e4e9736b888bd51b097d9994
be7e16eee98797afd45dfff2387fab9d5148385a
-workers auto success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceInFolder/Def2/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x2.tla