search

LearnLib / ralib

Apache License 2.0
4 stars 2 forks source link

bugfix: consider constants to decide guard refinement correctly #39

Closed fhowar closed 11 months ago

fhowar commented 11 months ago

what the title says ...