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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
e8384d36c0674b00167132f50ab90907a6ae79bf
6c84ebf1c55f999e11c9a4089b994272e0b2d9f7
b8a9b0f5bcb10926f5f7f70b20deb4393888bf27
dda9f7c416d12a0c7adf86d4ebd932d7b9314eca
dd42d7ba9e6851c14013c4ca9777fa9151117a48
9161f14ebeb71e43010e56067a40b5e6daec4ef0
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Instance/Forall/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x2.tla