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 this test back on when z3 is updated #515

Closed LeventErkok closed 3 years ago

LeventErkok commented 4 years ago

https://github.com/LeventErkok/sbv/blob/ac7db73e92ea6677450cdfcd8e2f96f5610d8654/Data/SBV/List.hs#L319

LeventErkok commented 3 years ago

Will consolidate