You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This probably results in more failed generations during shrinking than necessary. We likely should just ignore the current value instead of checking its value.
The text was updated successfully, but these errors were encountered:
@CoderDennis has found this when reading through the source code.
Fuzz.forcedChoice
doesn't reject the value in the original Python minithesis repo but it does in our implementation (when using a Hardcoded RandomRun).This probably results in more failed generations during shrinking than necessary. We likely should just ignore the current value instead of checking its value.
The text was updated successfully, but these errors were encountered: