search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
243 stars 34 forks source link

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

Closed LeventErkok closed 4 years ago

LeventErkok commented 4 years ago

Commented out due to: https://github.com/Z3Prover/z3/issues/4661

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

LeventErkok commented 4 years ago

This now works fine!