search

trifectatechfoundation / zlib-rs

A safer zlib
zlib License
147 stars 15 forks source link

run deflate tests under stacked borrows #239

Closed folkertdev closed 3 weeks ago

folkertdev commented 1 month ago

we now pass the zlib-rs and test-libz-rs-sys tests under miri with (the default) stacked borrows :tada:

cc @inahga

codecov[bot] commented 1 month ago

Codecov Report

Attention: Patch coverage is 93.29268% with 11 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
zlib-rs/src/deflate/hash_calc.rs 66.66% 6 Missing :warning:
zlib-rs/src/deflate.rs 94.73% 2 Missing :warning:
zlib-rs/src/allocate.rs 97.36% 1 Missing :warning:
zlib-rs/src/deflate/window.rs 91.66% 1 Missing :warning:
zlib-rs/src/weak_slice.rs 94.73% 1 Missing :warning:
Files with missing lines Coverage Δ
test-libz-rs-sys/src/deflate.rs 98.16% <100.00%> (+<0.01%) :arrow_up:
test-libz-rs-sys/src/end_to_end.rs 75.71% <ø> (ø)
zlib-rs/src/deflate/longest_match.rs 88.97% <100.00%> (ø)
zlib-rs/src/deflate/pending.rs 96.96% <100.00%> (+0.24%) :arrow_up:
zlib-rs/src/deflate/slide_hash.rs 99.09% <100.00%> (ø)
zlib-rs/src/inflate/window.rs 97.57% <100.00%> (ø)
zlib-rs/src/read_buf.rs 91.30% <100.00%> (+0.82%) :arrow_up:
zlib-rs/src/allocate.rs 98.43% <97.36%> (-0.56%) :arrow_down:
zlib-rs/src/deflate/window.rs 90.19% <91.66%> (+0.61%) :arrow_up:
zlib-rs/src/weak_slice.rs 96.22% <94.73%> (-0.84%) :arrow_down:
... and 2 more

... and 3 files with indirect coverage changes