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: 1788f12f5c03ba9c230be627647db371c158ddf4

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
223615b6a74295448fa2077a96e99e2c17c2866e
1a9bcc86530ca2f77cc4d50bd1fc7a5bd38c430a
ca3910a283aee843a9ead12758902ccc70f8994d
c767c5b7038780363dc3dcf2d5a6aea55619ab60
f11c28bf20955fa31e48565e8ace76c76655c67a
93d6ec98ab7f95d4627ba02062b29206225afba6
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceNamedInFolder/SeqTail/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x0.tla