LearnLib / learnlib / 20244430024

95%

push

github

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

* initial work on kWayOracles

* cleanups

* adjust to AutomataLib + consolidations

* adjust to upstream changes

* reorder attributes

* test the correct oracle

* hide some type variables

* add additional documentation

* cleanups

* adjust configs
* declutter type information

* do not use special characters in documentation

36 of 36 new or added lines in 2 files covered. (100.0%)

14294 of 15058 relevant lines covered (94.93%)

1.73 hits per line