Michael.veksler/solver exec

[codecov[bot]]

Codecov Report

Attention: 17 lines in your changes are missing coverage. Please review.

Comparison is base (a192828) 76.13% compared to head (4811701) 87.76%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #15 +/- ## =========================================== + Coverage 76.13% 87.76% +11.63% =========================================== Files 16 17 +1 Lines 1345 1226 -119 Branches 981 882 -99 =========================================== + Hits 1024 1076 +52 + Misses 172 28 -144 + Partials 149 122 -27 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/15/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/15/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `36.95% <20.00%> (+4.42%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/15/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `97.07% <91.52%> (+13.44%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/15/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `37.31% <20.00%> (+4.59%)` | :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. | [Files](https://app.codecov.io/gh/michael-veksler/solver/pull/15?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/15?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvY2RjbF9zYXQuaHBw) | `86.53% <100.00%> (+0.53%)` | :arrow_up: | | [include/solver/trivial\_sat.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/15?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvdHJpdmlhbF9zYXQuaHBw) | `87.09% <100.00%> (+1.38%)` | :arrow_up: | | [include/solver/sat\_types.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/15?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvc2F0X3R5cGVzLmhwcA==) | `45.45% <45.45%> (ø)` | | | [src/solver\_exe/main.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/15?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-c3JjL3NvbHZlcl9leGUvbWFpbi5jcHA=) | `85.33% <80.35%> (+74.85%)` | :arrow_up: |

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