Skip to content

route - #1753

Open
daniel-noland wants to merge 14 commits into
pr/daniel-noland/fuzz-net-headersfrom
pr/daniel-noland/fuzz-routing
Open

route#1753
daniel-noland wants to merge 14 commits into
pr/daniel-noland/fuzz-net-headersfrom
pr/daniel-noland/fuzz-routing

test(routing): prop-test the adjacency table

bb22af3
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Aug 28, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 8851c84 test(routing): prop-test rib-to-fib conversion Valid sign-off found
🟢 f8914e3 fix(routing): guard against resolution loops Valid sign-off found
🟢 dc156f2 test(routing): model-check fib Valid sign-off found
🟢 dd3a6bd fix(routing): remove fib vni aliases on delete Valid sign-off found
🟢 6a841b2 fix(routing): refuse to remove the default vrf Valid sign-off found
🟢 51e81f8 fix(frrmi): frame messages correctly Valid sign-off found
🟢 39064f0 fix(routing): empty next-hop routes are drops Valid sign-off found
🟢 76a184b test(routing): vrf deletion check Valid sign-off found
🟢 0c48ce5 test(routing): prop-test resolution across vrfs Valid sign-off found
🟢 a99d7c4 fix(routing): remove interface name from next-hop ... Valid sign-off found
🟢 d4993ad test(routing): prop-test control-plane Valid sign-off found
🟢 fc6a97c test(routing): prop-test config renderers Valid sign-off found
🟢 1a8222f test(routing): model-check the interface table Valid sign-off found
🟢 bb22af3 test(routing): prop-test the adjacency table Valid sign-off found