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: 68f1e8ace6817ada22273fdd63ed2828bf590993

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
96bef38c9f02eb9bf2f5a444b3adbe102590694f
498488f0403569aa8f370a7c1b28da599d4edbee
1bbb24a90b73727cf1dd4dfd5078c7c7b42b9aca
14524d0ec3b98f606aeec47134a054df0abb1b12
7a7181b0d89978e092518be9ce052ee778e13247
9e2d72d3d3ccc45251bb4b454a5b30c5665718a6
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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