codecov[bot]
commented
11 months ago Codecov Report
Attention: 20 lines in your changes are missing coverage. Please review.
Comparison is base (
0ba7fe2) 73.43% compared to head (ced5aa3) 73.37%.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## main #11 +/- ## ========================================== - Coverage 73.43% 73.37% -0.06% ========================================== Files 13 13 Lines 1039 1063 +24 Branches 747 766 +19 ========================================== + Hits 763 780 +17 Misses 173 173 - Partials 103 110 +7 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/11/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/11/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `31.97% <35.00%> (+0.28%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/11/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `80.74% <76.47%> (-0.09%)` | :arrow_down: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/11/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `31.99% <29.41%> (-0.05%)` | :arrow_down: | 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. | [Files](https://app.codecov.io/gh/michael-veksler/solver/pull/11?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [include/solver/cdcl\_sat.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/11?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvY2RjbF9zYXQuaHBw) | `85.36% <ø> (ø)` | | | [src/solver\_library/cdcl\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/11?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-c3JjL3NvbHZlcl9saWJyYXJ5L2NkY2xfc2F0LmNwcA==) | `87.55% <88.88%> (+0.62%)` | :arrow_up: | | [fuzz\_test/fuzz\_all\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/11?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-ZnV6el90ZXN0L2Z1enpfYWxsX3NhdC5jcHA=) | `38.33% <21.73%> (-4.26%)` | :arrow_down: |:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Also, fixed a bug uncovered by repeating a variable in the same clause (one with positive and one with negative literal).