codecov[bot]
commented
3 months ago Codecov Report
Attention: Patch coverage is 81.42857% with 13 lines in your changes missing coverage. Please review.
Project coverage is 97.07%. Comparing base (
363d7b4) to head (acd49e0).
| Files | Patch % | Lines |
|---|---|---|
| fuzz_test/fuzz_all_sat.cpp | 33.33% | 1 Missing and 11 partials :warning: |
| include/solver/trivial_sat.hpp | 50.00% | 0 Missing and 1 partial :warning: |
Additional details and impacted files
```diff @@ Coverage Diff @@ ## main #38 +/- ## ========================================== - Coverage 97.11% 97.07% -0.04% ========================================== Files 27 27 Lines 1906 1951 +45 Branches 1151 1179 +28 ========================================== + Hits 1851 1894 +43 Misses 16 16 - Partials 39 41 +2 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/38/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [Linux](https://app.codecov.io/gh/michael-veksler/solver/pull/38/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `61.35% <59.09%> (+0.16%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/38/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `99.36% <97.95%> (+0.07%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/38/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `36.90% <35.41%> (+0.19%)` | :arrow_up: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#carryforward-flags-in-the-pull-request-comment) to find out more.:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
It turns out we didn't run fuzzing for cdcl solver.