search

LearnLib / ralib

Apache License 2.0
4 stars 2 forks source link

Bug branchwithsameguard #45

Closed pfg666 closed 11 months ago

pfg666 commented 11 months ago

Submitted is a DTLS server test which exposes a bug in the Hypothesis::branchwithsameguard method + a suggested fix. The fix seems to work (have run it through the benchmarks).