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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
b26f0b7118652e1074dc9ae6821aa9b7da135b35
235346b65f1a1c152ab5cf7c1106d10ff798799a
dc6c746277e778d825a7e71eff85113770524c91
8ccdc6c19854a621f6885c9fd96289af6f1ee39f
e326b7461c6e9a6f5257f7f66cb27871dbc4206f
41ddbbe6f4247303a0f76085f0b734d073d3918c
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceInFolder/SeqHead/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x0.tla