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

Re-enable bounded mutex test #502

Closed LeventErkok closed 4 years ago

LeventErkok commented 4 years ago

Line 101 of Documentation/SBV/Examples/Lists/BoundedMutex.hs

Disabled due to: https://github.com/Z3Prover/z3/issues/2956