Skip to content

fix(ssa): don't check Brillig calls for coverage if they don't return anything (e.g. println)#7644

Merged
TomAFrench merged 3 commits into
masterfrom
rk/brillig-function-call-isnt-properly-covered-by-a-manual-constraint-when-using-println
Mar 11, 2025
Merged

fix(ssa): don't check Brillig calls for coverage if they don't return anything (e.g. println)#7644
TomAFrench merged 3 commits into
masterfrom
rk/brillig-function-call-isnt-properly-covered-by-a-manual-constraint-when-using-println

Move a regression test to no_bug as println doesn't trigger the check

89ca781
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs