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

Tests by case feature LetDefFunInDef; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
cc4307c13e57690149d703eae4b640e7684a9db6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunInDef InDef0 True Passed
  • Model Under Test
  • Equivalent Model
091ec64a0cfee0203034e4963af82c7d22d4be90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunInDef InDef0 False Passed
  • Model Under Test
  • Equivalent Model
8ea9ce8c66401b99b99c144bea8a705245020093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunInDef InDef1 True Passed
  • Model Under Test
  • Equivalent Model
1edd63363aeb76a8be57b24294cea483350e2973 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunInDef InDef1 False Passed
  • Model Under Test
  • Equivalent Model
7effd26b515421a472fbce834ce9663b71e0d958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunInDef InDef2 True Passed
  • Model Under Test
  • Equivalent Model
70c57d6c11efd8ce92be4ab5fe62c98ec1340d9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunInDef InDef2 False Passed
  • Model Under Test
  • Equivalent Model