LearnLib / automatalib / 20242707685

93%

push

github

Add conformance test generators based on k-way state/transition coverage (#99)

* initial work on kWay tests

* some more polishing

added tests that still fail

* add missing functionality + consolidations

* finalizing things

bugfixes, documentation, performance improvements

* reorder attributes

* fix logic flaw and support partial automata

* suggest to handle corner-cases externally

* cleanups

* add documentation
* add tests
* improve performance
* declutter type variables

* do not use special characters in documentation

289 of 291 new or added lines in 10 files covered. (99.31%)

17439 of 18765 relevant lines covered (92.93%)

1.72 hits per line