[CFG] CFG edge validator#703

Open

hughperkins wants to merge 2 commits into

hp/remove-cfg-lambdasfrom

hp/cfg-edge-validator

Commits on May 15, 2026

[CFG] Extend assert_structural_invariants with O(V+E) edge consistency
hughperkins
committed
[CFG] Dump CFG to /tmp on assert_structural_invariants failure
hughperkins
committed