Fix mkConstCV which uses fromInteger for FP.

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

239 stars 33 forks source link

Closed lsrcz closed 2 months ago

lsrcz commented 2 months ago

Fixes the mkConstCV for arbitrary precision floating points, where fpFromInteger should be used instead of fromInteger.

LeventErkok commented 2 months ago

Good catch! Thanks.. (I'm working on the other one. should be fixed shortly)