Skip to content

Commit

Permalink
Handle unbound rollup variable
Browse files Browse the repository at this point in the history
  • Loading branch information
codygunton committed Feb 4, 2025
1 parent 4172c2c commit f565430
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion barretenberg/acir_tests/flows/prove_then_verify.sh
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ case ${SYS:-} in
-p <($BIN prove$SYS -o - $FLAGS $BFLAG)
;;
"ultra_honk")
FLAGS+=" --scheme $SYS --input_type ${INPUT_TYPE:-compiletime_stack} --output_type bytes --oracle_hash ${HASH:-poseidon2} -h $([[ "$ROLLUP" == true ]] && echo 2 || echo 0)"
FLAGS+=" --scheme $SYS --input_type ${INPUT_TYPE:-compiletime_stack} --output_type bytes --oracle_hash ${HASH:-poseidon2} -h $([[ ${ROLLUP:-false} == true ]] && echo 2 || echo 0)"
$BIN prove --output_content proof_and_vk $FLAGS $BFLAG
$BIN verify $FLAGS
# WORKTODO: issue with public inputs in a few of the stack tests; eg fold_complex_outputs
Expand Down

0 comments on commit f565430

Please sign in to comment.