Improve coverage by new --debug flag

[codecov[bot]]

Codecov Report

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

Comparison is base (3c528e1) 94.86% compared to head (963b680) 96.13%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #18 +/- ## ========================================== + Coverage 94.86% 96.13% +1.27% ========================================== Files 19 19 Lines 1421 1500 +79 Branches 1030 1088 +58 ========================================== + Hits 1348 1442 +94 + Misses 32 10 -22 - Partials 41 48 +7 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/18/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/18/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `62.83% <53.03%> (+0.11%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/18/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `98.78% <97.05%> (+1.27%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/18/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `36.59% <28.78%> (+0.33%)` | :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/18?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/18?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvY2RjbF9zYXQuaHBw) | `100.00% <100.00%> (ø)` | | | [include/solver/sat\_types.hpp](https://app.codecov.io/gh/michael-veksler/solver/pull/18?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-aW5jbHVkZS9zb2x2ZXIvc2F0X3R5cGVzLmhwcA==) | `100.00% <100.00%> (+45.45%)` | :arrow_up: | | [src/solver\_exe/main.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/18?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-c3JjL3NvbHZlcl9leGUvbWFpbi5jcHA=) | `95.18% <100.00%> (+0.51%)` | :arrow_up: | | [test/test\_cdcl\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/18?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-dGVzdC90ZXN0X2NkY2xfc2F0LmNwcA==) | `100.00% <100.00%> (ø)` | | | [src/solver\_library/cdcl\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/18?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-c3JjL3NvbHZlcl9saWJyYXJ5L2NkY2xfc2F0LmNwcA==) | `96.95% <94.23%> (+4.40%)` | :arrow_up: | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/michael-veksler/solver/pull/18/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler)

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