Fix pilcom proof fail test functions (reapprove)#2574

Closed

qwang98 wants to merge 3 commits intosplit-with-backendfrom pilcom-proof-fail-test-2

Commits on Mar 18, 2025

split test functions and fix usages
qwang98
committed

Commits on Mar 21, 2025

Merge branch 'split-with-backend' into pilcom-proof-fail-test
qwang98
committed

Commits on Mar 24, 2025

Merge branch 'split-with-backend' into pilcom-proof-fail-test-2
qwang98
committed