prove-all: don't exit on data errors

dapphub · Jul 16, 2019 · aca7b09 · aca7b09
1 parent c9840a6
commit aca7b09
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/libexec/klab-prove-all b/libexec/klab-prove-all
@@ -117,7 +117,6 @@ do_proof () {
     $TIMER klab prove --dump --logs --timeout $PROOF_TIMEOUT "$hash"
     result=$?
   fi;
-  set -e
 
   if [ $result -eq 0 ] && [ -n "$PROVE_DUMP" ] && [[ $name =~ .*_pass_rough$ ]]; then
     klab get-gas "$hash"