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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
05914f5b68fb1de25483914a217b131dc1cf717b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunInDef InDef0 True Passed
  • Model Under Test
  • Equivalent Model
c24297f123153dfd926785a6a38c9ce00d3cd42e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunInDef InDef0 False Passed
  • Model Under Test
  • Equivalent Model
7c7df61cc413c18b08fcdf0347e3e4a51cc957e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunInDef InDef1 True Passed
  • Model Under Test
  • Equivalent Model
ec49f96b7316d575ea7b2362003070650dc6156a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunInDef InDef1 False Passed
  • Model Under Test
  • Equivalent Model
b931d6ba44dd6c8521d1308f0ebd6891de576a8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunInDef InDef2 True Passed
  • Model Under Test
  • Equivalent Model
2a6f88084b9236d8b25d72d8f972cc5df72356dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunInDef InDef2 False Passed
  • Model Under Test
  • Equivalent Model