rlimit

project-everest · Jul 14, 2023 · f9208ab · f9208ab
1 parent 7a4d0a8
commit f9208ab
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/lowparse/LowParse.SteelST.List.Iter.WithInterrupt.fst b/src/lowparse/LowParse.SteelST.List.Iter.WithInterrupt.fst
@@ -101,6 +101,9 @@ let rec list_iter_with_interrupt_close_false
     list_iter_with_interrupt_close_false p state f_false _ bin cur' _ _
   end
 
+#pop-options
+
+#push-options "--z3rlimit 32"
 #restart-solver
 
 let list_iter_with_interrupt_close
@@ -158,6 +161,9 @@ let list_iter_with_interrupt_close
     cont
   end
 
+#pop-options
+
+#push-options "--z3rlimit 16"
 #restart-solver
 
 inline_for_extraction