ETNA workload for the Rust `bytes` crate. Each variant re-introduces one historical bug-fix into a fresh patched branch and pairs it with a framework-neutral property, four PBT adapters, and a deterministic witness test.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
ChainRemainingSaturating | 0 | 40 | 0 | bug found |
GetIntSignExtension | 0 | 40 | 0 | bug found |
GetIntZeroNbytes | 0 | 40 | 0 | bug found |
PartialordBytesReversed | 0 | 40 | 0 | bug found |
SliceRefEmpty | 0 | 40 | 0 | bug found |