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: 61d0272e398d07facab16cb40ec3e19402078589

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
d019d0ecc056e9a8e77dfc543d243ab2dc4da10c
1f0bafbce4a916b3ab5e6c0219d51d6385a6c98a
6598efc3018b66829969bb112541ca6828e1f130
58affb382e1f7d45ed307e72cbf7136d9b627f64
cc48e042f367b233890dfaa6f290f64a7b614fbd
7a0d863c8beea3c54c21fe9926bbe73aff74a046
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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