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: 2a289cb5c7fba03a5e0d6524428b430ab1ddea4b

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
33ff1638639ea7e8feabc7ebdb269e059435f1c4
79b7221e63bbe3e00316f164a39837a8772db1c3
c817672672a2d884560d030196bccb386a0ab034
c6208e68d13ee715f2d9dde91f71862739a85542
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Imply/Def1/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules