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: 881d325ee4357808168d26ebf9fdd7f5258bc027

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
a41048b14483e0b5414fe8a466a53ab715002f93
2853a791a58c888bdfaefd27c5f4458036540c65
d80cbc9f96cbd2bc22cb32fa776ba3a487d71913
bf89382248bc8e06d617561c9100987f83f09c50
22c04889e15f0398a57efa32fecc0afd9d1a922e
c6f16c37f2f783f854bf286f5676cac32caf89d9
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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