rlimit

project-everest · Mar 4, 2024 · 5761ad5 · 5761ad5
1 parent 26dbec7
commit 5761ad5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lowparse/LowParse.SteelST.List.Iter.WithInterrupt.fst b/src/lowparse/LowParse.SteelST.List.Iter.WithInterrupt.fst
@@ -215,7 +215,7 @@ let int_sub_intro (a b c: nat) : Lemma
   ))
 = ()
 
-#push-options "--z3rlimit 128 --split_queries --z3cliopt smt.arith.nl=false"
+#push-options "--z3rlimit 256 --split_queries --z3cliopt smt.arith.nl=false"
 #restart-solver
 
 inline_for_extraction