correct iterations/depth parameters

Author: jberthold

p-token/test-properties/run-proofs.sh

@@ -4,7 +4,7 @@
 # table if -a given) with given run options (-o) and timeout (-t).
 # Options and defaults:
 #   -t NUM   : timeout in seconds (default 1h=3600)
-#   -o STRING: prove-rs options. Default "--max-iterations 2000 --max-depth 500"
+#   -o STRING: prove-rs options. Default "--max-iterations 500 --max-depth 2000"
 #   -a       : run all start symbols from first table in `proofs.md` (1st column)
 #   -m       : run all start symbols from multisig table in `proofs.md` (2nd column)
 #   -c       : continue existing proofs instead of reloading (which is default)
@@ -23,7 +23,7 @@ ALL_NAMES=$(sed -n -e 's/^| \(test_p[a-zA-Z0-9:_]*\) *|.*/\1/p' proofs.md)
 MULTISIG_NAMES=$(sed -n -e 's/^| m | \(test_p[a-zA-Z0-9:_]*\) *|.*/\1/p' proofs.md)
 
 TIMEOUT=3600
-PROVE_OPTS="--max-iterations 2000 --max-depth 500"
+PROVE_OPTS="--max-iterations 500 --max-depth 2000"
 RELOAD_OPT="--reload"
 
 while getopts ":t:o:amc" opt; do