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: 11d3a9f4230875636a4fad7a305ab2b8a22cdc5c

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
76844a114bf51fc5b8ef436b846dcd611b974def
e6ef8bff7975902fb0f5ff311bfe79da6057fd71
ff862a7f2655bd5f522c108c6c02de4d9e43d9d2
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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