codecov[bot]
commented
10 months ago Codecov Report
All modified and coverable lines are covered by tests :white_check_mark:
Comparison is base (
87ee883) 96.31% compared to head (2adc971) 96.31%.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## main #30 +/- ## ======================================= Coverage 96.31% 96.31% ======================================= Files 20 20 Lines 1574 1574 Branches 1145 1145 ======================================= Hits 1516 1516 - Misses 10 11 +1 + Partials 48 47 -1 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/30/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/30/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `61.09% <ø> (ø)` | | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/30/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `99.34% <ø> (ø)` | | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/30/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `34.95% <ø> (ø)` | | 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.
Duplicate cscl_sat.hpp into several files, as a first step for splitting cdcl_sat.hpp. Duplicating it should preserve the history