LearnLib / ralib

Apache License 2.0
4 stars 2 forks source link

Fix bug where new SDT is not added to prime prefix when splitting leaf #36

Closed FredrikTaquist closed 1 year ago