search

elsoroka / Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
https://elsoroka.github.io/Satisfiability.jl/
MIT License
29 stars 4 forks source link

Fix issue #6 #33

Closed elsoroka closed 8 months ago

elsoroka commented 8 months ago

to_real (and to_int) didn't have method definitions for constants, which caused assign! to crash when assigning values for expressions containing to_real and to_int. Also define to_real(real_expr) and to_int(int_expr) so they return the expr unchanged.

codecov-commenter commented 8 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (d9fdb40) 87.62% compared to head (b95ccfa) 88.05%. Report is 19 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #33 +/- ## ========================================== + Coverage 87.62% 88.05% +0.42% ========================================== Files 12 12 Lines 994 996 +2 ========================================== + Hits 871 877 +6 + Misses 123 119 -4 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.