test(net): property-test the headers view, matcher, and builder - #1734
Closed
daniel-noland wants to merge 30 commits into
Closed
test(net): property-test the headers view, matcher, and builder#1734daniel-noland wants to merge 30 commits into
daniel-noland wants to merge 30 commits into
DCO-2 / DCO
succeeded
Aug 26, 2026 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 5be2ae5 | fix(net): Store the checksum an incremental update... | Valid sign-off found |
| 🟢 | 88c3696 | test(net): Check the HeadersView unsafe boundary a... | Valid sign-off found |
| 🟢 | 6edcf93 | docs(net): Correct where the HeadersView soundness... | Valid sign-off found |
| 🟢 | 83f48b5 | test(net): Check the mutable half of the HeadersVi... | Valid sign-off found |
| 🟢 | 1ef005f | test(net): Extend the HeadersView differential to ... | Valid sign-off found |
| 🟢 | bcaf281 | test(net): Reach the quoted packet inside an ICMP ... | Valid sign-off found |
| 🟢 | 1f0592e | test(net): Cover the optional matchers, and find w... | Valid sign-off found |
| 🟢 | c7cde9b | test(net): Make the shape follow the chain, and re... | Valid sign-off found |
| 🟢 | 9833e03 | test(net): Stack the extension headers the builder... | Valid sign-off found |
| 🟢 | 214a62b | test(net): Specialize the ICMP subtypes, and find ... | Valid sign-off found |
| 🟢 | f5188c3 | test(net): Keep the embedded vacuity guard armed u... | Valid sign-off found |
Loading