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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
72fffe7fb318d55821a23dc52ab8f8a2431f54df
cc3c23dfb9ee92847eeba47abb666fb3c30cf196
3c18cdaa39833fc95f86864029582f35dda117d0
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path ConstantRank1/TlcSingletonFun/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules