test(routing): property-test the rib, fib, and control plane - #1735
Closed
daniel-noland wants to merge 14 commits into
Closed
test(routing): property-test the rib, fib, and control plane#1735daniel-noland wants to merge 14 commits into
daniel-noland wants to merge 14 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 | |
|---|---|---|---|
| 🟢 | d76f633 | test(routing): Property-test the rib-to-fib conver... | Valid sign-off found |
| 🟢 | 651e14f | fix(routing): Survive a resolution loop in the nex... | Valid sign-off found |
| 🟢 | f73e5e2 | test(routing): Model-check a fib against its chang... | Valid sign-off found |
| 🟢 | f5914fa | fix(routing): Drop a fib's vni alias when the fib ... | Valid sign-off found |
| 🟢 | 975ce59 | fix(routing): Refuse to remove the default vrf | Valid sign-off found |
| 🟢 | 55dae08 | fix(frrmi): Frame a message by what arrived, not b... | Valid sign-off found |
| 🟢 | 5930a7a | fix(routing): Install a route with no next-hops as... | Valid sign-off found |
| 🟢 | cc439c9 | test(routing): Cover the vrf deletion check | Valid sign-off found |
| 🟢 | 13d1391 | test(routing): Property-test resolution across vrf... | Valid sign-off found |
| 🟢 | cb73a72 | fix(routing): Keep the interface name out of the n... | Valid sign-off found |
| 🟢 | 4a29b7c | test(routing): Property-test the control-plane ope... | Valid sign-off found |
| 🟢 | bde423f | test(routing): Property-test the FRR config render... | Valid sign-off found |
| 🟢 | e808861 | test(routing): Model-check the interface table and... | Valid sign-off found |
| 🟢 | 20dc819 | test(routing): Property-test the adjacency table's... | Valid sign-off found |
Loading