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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
6ce3360aeb00abb722f7af74b49e8ea27ef9f713
8fe75196af823b8099f81bfbe5551682700a8538
8a90ba67975618ea0bc7ebe30dd2b5e2acc86f87
dcd54b18881875bffc2a344aa21dda5652cd78c6
1e2d672b261f93c5894cb81b2d41690954af4d8f
99cf36f0aac64182b1b682e9eb579a08ba118950
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceNamedInFolder/InstanceInFolder/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x2.tla
TLC_x4.tla