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

Unicode support #52

Closed elsoroka closed 4 months ago

elsoroka commented 4 months ago

Fixes issue #44

codecov[bot] commented 4 months ago

Codecov Report

Attention: Patch coverage is 94.11765% with 1 line in your changes missing coverage. Please review.

Project coverage is 87.97%. Comparing base (1d8f795) to head (ad41193).

Files Patch % Lines
src/smt_representation.jl 94.11% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #52 +/- ## ========================================== + Coverage 87.86% 87.97% +0.10% ========================================== Files 12 12 Lines 997 1006 +9 ========================================== + Hits 876 885 +9 Misses 121 121 ```

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

mykelk commented 4 months ago

This is awesome! Do you think it's worth tagging a release?