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: d9df0f10694ae6b5c1b6cfbd1c8cb32779320b3f

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
7f0de71eba0cf4ee98f6b0e6eb50952ebfa6a6ed
6828088e4b0f9307a75fa1085a431f73654c69dd
09786399afeb06ec29240ae9846925c6626637cf
f0dea2f10029b95e06860c4e48f3dd6d46c5635c
3a1bd7e9a8832974cba940d28e147cc3e2254b16
6b4f0f92e4fe9fe0721a1947cef79863a7480093
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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