Fix bug where suffix for memorable is not added to prefix

LearnLib / ralib

Apache License 2.0

4 stars 2 forks source link

Fix bug where suffix for memorable is not added to prefix #57

Closed FredrikTaquist closed 11 months ago

FredrikTaquist commented 11 months ago

This fixes a rare bug that can occur if a suffix s is needed for prefix u to reveal a missing parameter p but there is already a suffix containing p in its PIV.