Skip to content

Make synthesis limit tracking robust against function calls - #3344

Open
vicsn wants to merge 2 commits into
stagingfrom
fix_synthesis_limit_tracking
Open

Make synthesis limit tracking robust against function calls#3344
vicsn wants to merge 2 commits into
stagingfrom
fix_synthesis_limit_tracking

Commits

Commits on Jul 30, 2026