8000 Turn on test in Enumerate.hs once z3 issue is fixed. · Issue #556 · LeventErkok/sbv · GitHub

More Web Proxy on the site http://driver.im/

Turn on test in Enumerate.hs once z3 issue is fixed. #556

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 8000 statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Closed

LeventErkok opened this issue Aug 25, 2020 · 1 comment

Labels

Owner

LeventErkok commented

Commented out due to: Z3Prover/z3#4661

In Documentation/SBV/Examples/Misc/Enumerate.hs, line:63, test for maxE.

The text was updated successfully, but these errors were encountered:

LeventErkok added the External issue label

Owner Author

LeventErkok commented

This now works fine!

LeventErkok closed this as completed

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

0