codecov[bot]
commented
10 months ago Codecov Report
All modified and coverable lines are covered by tests :white_check_mark:
Comparison is base (
33a8e90) 99.22% compared to head (708a1ff) 99.22%.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## main #123 +/- ## ======================================= Coverage 99.22% 99.22% ======================================= Files 12 12 Lines 1291 1291 Branches 137 137 ======================================= Hits 1281 1281 Misses 5 5 Partials 5 5 ```:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Which issue are you addressing?
Optimizes the PR #118
How have you addressed the issue?
Instead of weird casting and
Unsafe.As, we simply invert the bits, add 1, then atomically add. This is in-line with 2's compliment arithmetic.How have you tested your patch?
This is the first PR whose changes have been formally verified with a proof assistant. Of course, the unit tests still pass :)