New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix the QuickCheck shrink for WordN 1 and IntN 1 types #149

Merged

lsrcz merged 1 commit into main from fix-1-bit-bv-shrink

Oct 26, 2023

Owner

lsrcz commented Oct 26, 2023

This pull request fixes the QuickCheck shrink for WordN 1 and IntN 1 types.

The shrinkIntegral function provided by QuickCheck assumes that 2 /= 0, which isn't true for WordN 1 and IntN 1.


          🐛 fix the QuickCheck shrink for WordN 1 and IntN 1 types

13e9dec

lsrcz added the bug label

lsrcz self-assigned this

lsrcz merged commit f178b3e into main

2 checks passed

lsrcz deleted the fix-1-bit-bv-shrink branch

February 17, 2024 03:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment