Preparing infrastructure for non-binary clause fuzzing

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 96.61836% with 7 lines in your changes are missing coverage. Please review.

Project coverage is 97.11%. Comparing base (49d4a70) to head (e370a00).

Files	Patch %	Lines
fuzz_test/fuzz_all_sat.cpp	37.50%	0 Missing and 5 partials :warning:
test/fuzz_utils.hpp	94.73%	1 Missing and 1 partial :warning:

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #37 +/- ## ========================================== + Coverage 96.09% 97.11% +1.02% ========================================== Files 27 27 Lines 1741 1906 +165 Branches 1213 1151 -62 ========================================== + Hits 1673 1851 +178 - Misses 13 16 +3 + Partials 55 39 -16 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/37/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/37/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `61.18% <61.78%> (+0.31%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/37/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `99.29% <98.97%> (-0.05%)` | :arrow_down: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/37/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `36.71% <41.43%> (+0.81%)` | :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.