Repository navigation

Add equivalence oracles based on k-way state/transition coverage - #156

Merged

mtf90 merged 10 commits into

LearnLib:developfrom

Dec 15, 2025

Merged

Add equivalence oracles based on k-way state/transition coverage#156
mtf90 merged 10 commits into
LearnLib:developfrom
mtf90:kway

Commits on Dec 15, 2025
- initial work on kWayOracles
  mtf90
  committed
  e5d2026
- cleanups
  mtf90
  committed
  f7e632a
- adjust to AutomataLib + consolidations
  mtf90
  committed
  6c1aeab
- adjust to upstream changes
  mtf90
  committed
  267ea17
- reorder attributes
  mtf90
  committed
  a128d7b
- test the correct oracle
  mtf90
  committed
  10274b0
- hide some type variables
  mtf90
  committed
  a8be5a1
- add additional documentation
  mtf90
  committed
  3e26a5f
- cleanups
  mtf90
  committed
  bb45703
- do not use special characters in documentation
  mtf90
  committed
  3b815a2