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: 6c5d2733e2477e4ef60f576ac7b6ba2c2502662e

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
f4a5f8638b183c482743bd5198fb27d48452a7d1
e4a27a89408515bdcbe8ddb91f5280cb8f820601
f70a6ca9a60aae73871e813c4e9b488426cac926
4a77a2e9d16592efef83989dac4aa739fd105293
c9bcfa78c6608bdf468d1507409abca8ace8e7bd
172a3b59bca8d489c620b9c53179d1486f68468c
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

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