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: 0865d790e9f49858a2257b5b755dccee772767b7

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
5acc5b65db97b5f3528758e13484b13ff7dc6fef
b4b94b3aeeb973c2eb7855aedcf8768f63b5b2ca
0fd709fe3d2a9b6d44e50c75ceaf70f91a5987cc
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path NumUnaryMinus/Choose/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules