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 plug feature NatSet; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c5bd1796384faaecfda6d6559cda553e9e9dc009 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NatSet True Passed
  • Model Under Test
  • Equivalent Model
9bc08f5b0165c648440ba4bab347f7abdffd9ee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NatSet False Passed
  • Model Under Test
  • Equivalent Model
9f9aa2f9b964d0c37135f2940908075bb5266605 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NatSet True Passed
  • Model Under Test
  • Equivalent Model
26e0691f183ac89e49d582164464da8e62adf5d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NatSet False Passed
  • Model Under Test
  • Equivalent Model
621538afeb9a65b1567c2167466fafd4cc6c2992 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NatSet True Passed
  • Model Under Test
  • Equivalent Model
0bb62f45016da180c97ddbfa1427b01439de0255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NatSet False Passed
  • Model Under Test
  • Equivalent Model
8c4c08d58b0c01822a9aa8fb4b43dbf303a3cc74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NatSet True Passed
  • Model Under Test
  • Equivalent Model
26eacaa40682d07f8b34cab9fb164d653249db8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NatSet False Passed
  • Model Under Test
  • Equivalent Model
28b03718a54da4864fbc863b8519dcab33ef6758 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NatSet True Passed
  • Model Under Test
  • Equivalent Model
9a573422921c313e5667e3b805dc2fbc8f346a05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NatSet False Passed
  • Model Under Test
  • Equivalent Model
4e11870bf55cb2be1ffb8100a0b70ffdaca46c5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NatSet True Passed
  • Model Under Test
  • Equivalent Model
0f1e786ae8cd4a576917bdf79474aa108cdb8ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NatSet False Passed
  • Model Under Test
  • Equivalent Model