test(routing): property-test the rib, fib, and control plane - #1735

Closed

daniel-noland wants to merge 14 commits into

pr/daniel-noland/fuzz-net-headersfrom

pr/daniel-noland/fuzz-routing

Commits on Aug 26, 2026

test(routing): Property-test the rib-to-fib conversion

daniel-noland
and
claude
committed
d76f633
fix(routing): Survive a resolution loop in the next-hop walks

daniel-noland
and
claude
committed
651e14f
test(routing): Model-check a fib against its change log

daniel-noland
and
claude
committed
f73e5e2
fix(routing): Drop a fib's vni alias when the fib goes

daniel-noland
and
claude
committed
f5914fa
fix(routing): Refuse to remove the default vrf

daniel-noland
and
claude
committed
975ce59
fix(frrmi): Frame a message by what arrived, not by what was asked for

daniel-noland
and
claude
committed
55dae08
fix(routing): Install a route with no next-hops as a drop, in the rib

daniel-noland
and
claude
committed
5930a7a
test(routing): Cover the vrf deletion check

daniel-noland
and
claude
committed
cc439c9
test(routing): Property-test resolution across vrfs

daniel-noland
and
claude
committed
13d1391
fix(routing): Keep the interface name out of the next-hop key

daniel-noland
and
claude
committed
cb73a72
test(routing): Property-test the control-plane operations

daniel-noland
and
claude
committed
4a29b7c
test(routing): Property-test the FRR config renderers

daniel-noland
and
claude
committed
bde423f
test(routing): Model-check the interface table and its attachments

daniel-noland
and
claude
committed
e808861
test(routing): Property-test the adjacency table's publish discipline

daniel-noland
and
claude
committed
20dc819