Fix proof tests#3

gabrielrondon wants to merge 1 commit into

maingabrielrondon/ghost_dev:mainfrom

codex/rewrite-test-public-inputs-and-rename-test-invalid-proofgabrielrondon/ghost_dev:codex/rewrite-test-public-inputs-and-rename-test-invalid-proofCopy head branch name to clipboard