test: Drive static NAT, masquerade and ACL with configuration-relative packets - #1738

Closed

daniel-noland wants to merge 7 commits into

pr/daniel-noland/fuzz-config-generatorsfrom

pr/daniel-noland/fuzz-nf-probes

Commits on Aug 26, 2026

docs(testing): Record the config-algebra testing strategy

daniel-noland
and
claude
committed
0ffa2b4
feat(config): Generate a set of static NAT exposes for one manifest

daniel-noland
and
claude
committed
63a873b
test(nat): Drive static NAT with configuration-relative packets

daniel-noland
and
claude
committed
38e57e7
docs(testing): Mark the config-algebra note as partly implemented

daniel-noland
and
claude
committed
37b299c
test(nat): Cover the static NAT path that maps ports as well as addresses

daniel-noland
and
claude
committed
f73d124
test(nat): Drive masquerade with configuration-relative flows

daniel-noland
and
claude
committed
1a749b4
test(acl): Carry the acl properties from the lookup to the network function

daniel-noland
and
claude
committed
1017959