Fix a bug where a suffix parameter could be optimized for equality with a free parameter

LearnLib / ralib

Apache License 2.0

4 stars 2 forks source link

Fix a bug where a suffix parameter could be optimized for equality with a free parameter #63

Closed FredrikTaquist closed 7 months ago

FredrikTaquist commented 7 months ago

This PR fixes a bug in coalesceSuffixes where a suffix parameter could be optimized for equality with another parameter, even if that parameter is free.