Wrapper struct for models of a theory #180
Open
Codecov / codecov/project
succeeded
Dec 12, 2024 in 0s
95.09% (target 90.00%)
View this Pull Request on Codecov
95.09% (target 90.00%)
Details
Codecov Report
Attention: Patch coverage is 98.07692% with 1 line in your changes missing coverage. Please review.
Project coverage is 95.09%. Comparing base (
69dc438) to head (cc44137).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/syntax/TheoryInterface.jl | 98.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## symbolic_model_explicit #180 +/- ##
===========================================================
+ Coverage 95.04% 95.09% +0.05%
===========================================================
Files 38 38
Lines 2299 2345 +46
===========================================================
+ Hits 2185 2230 +45
- Misses 114 115 +1 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading