test(config,mgmt,k8s-intf): generate valid configurations and property-test the validator - #1737
Closed
daniel-noland wants to merge 65 commits into
Closed
DCO-2 / DCO
succeeded
Aug 26, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 9c58af9 | fix(flow-entry): Add an insertion that will not di... | Valid sign-off found |
| 🟢 | bddea17 | feat(config): Generate port-forwarding exposes for... | Valid sign-off found |
| 🟢 | 26e386f | feat(config): Generate masquerade exposes, and sha... | Valid sign-off found |
| 🟢 | 2c5390f | feat(config): Generate static NAT exposes, and pin... | Valid sign-off found |
| 🟢 | c37054f | fix(config): Refuse a port-forwarding expose the d... | Valid sign-off found |
| 🟢 | fca2514 | refactor(config): Report a port-forwarding mismatc... | Valid sign-off found |
| 🟢 | 4b30d51 | test(mgmt): Property-test the configuration chain,... | Valid sign-off found |
| 🟢 | da7879d | test(mgmt): Drive the config builder with generate... | Valid sign-off found |
| 🟢 | a81bcb8 | test(k8s-intf): Generate configurations that are v... | Valid sign-off found |
| 🟢 | 3fd3f38 | test(k8s-intf): Generate peering ACLs | Valid sign-off found |
| 🟢 | c0ca439 | test(mgmt): Build every dataplane table a validate... | Valid sign-off found |
| 🟢 | d2aedf8 | test(config): Hunt validator permissiveness with n... | Valid sign-off found |
| 🟢 | 8e511d9 | test(mgmt): Let a fuzzing engine drive the near-mi... | Valid sign-off found |
| 🟢 | 3fa5286 | test(k8s-intf): Draw prefixes from slots so expose... | Valid sign-off found |
| 🟢 | 868052f | fix(k8s-intf): Give every vpc its own slots, and a... | Valid sign-off found |
| 🟢 | aebfa90 | test(mgmt): Check that a validated configuration h... | Valid sign-off found |
| 🟢 | 92ec8f2 | test(config): Assert the validator refuses what a ... | Valid sign-off found |
| 🟢 | a6ae1c0 | test(nat): Catch a static NAT table that holds one... | Valid sign-off found |
| 🟢 | 4a0d639 | fix(k8s-intf): Put the generated gateway in its ow... | Valid sign-off found |
| 🟢 | 5fa4347 | test(mgmt): Check that every expose leaves a trace | Valid sign-off found |
| 🟢 | 641ac94 | test(mgmt): Follow the genid out of MasqueradeConf... | Valid sign-off found |
Loading