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 ChooseInDef; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
62bd65594b825d3c3d01a1b7c3d0714d10699a09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ChooseInDef InDef2 True Passed
  • Model Under Test
  • Equivalent Model
875d6f532cf6ff7e0ea7e0cb26bc822ac9a4af47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ChooseInDef InDef2 False Passed
  • Model Under Test
  • Equivalent Model