diff --git a/images/nargo/test.sh b/images/nargo/test.sh index c902b82..241cd49 100755 --- a/images/nargo/test.sh +++ b/images/nargo/test.sh @@ -42,7 +42,9 @@ nargo compile nargo execute # Create a proof for the program. +set +e nargo prove +set -e # Veryify whether the proof is valid. nargo verify