Implement fuzzing for trivial_sat

[codecov[bot]]

Codecov Report

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

Comparison is base (d9d6747) 65.32% compared to head (293084c) 63.44%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #7 +/- ## ========================================== - Coverage 65.32% 63.44% -1.88% ========================================== Files 11 10 -1 Lines 620 662 +42 Branches 458 492 +34 ========================================== + Hits 405 420 +15 - Misses 169 174 +5 - Partials 46 68 +22 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/7/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/7/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `27.50% <41.66%> (+0.61%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/7/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `69.87% <ø> (ø)` | | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/7/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `27.12% <ø> (+0.34%)` | :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/7?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [fuzz\_test/fuzz\_all\_sat.cpp](https://app.codecov.io/gh/michael-veksler/solver/pull/7?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#diff-ZnV6el90ZXN0L2Z1enpfYWxsX3NhdC5jcHA=) | `41.66% <41.66%> (ø)` | | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/michael-veksler/solver/pull/7/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.