rlimit bump

project-everest · Aug 17, 2023 · d13391a · d13391a
1 parent 2e62205
commit d13391a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/3d/prelude/extern/EverParse3d.InputStream.Extern.fst b/src/3d/prelude/extern/EverParse3d.InputStream.Extern.fst
@@ -219,7 +219,7 @@ let read
 
 #pop-options
 
-#push-options "--z3rlimit 20 --fuel 0 --ifuel 1 --z3cliopt smt.arith.nl=false --using_facts_from '* -FStar.Tactics -FStar.Reflection' --split_queries no"
+#push-options "--z3rlimit 64 --fuel 0 --ifuel 1 --z3cliopt smt.arith.nl=false --using_facts_from '* -FStar.Tactics -FStar.Reflection' --split_queries no"
 #restart-solver
 inline_for_extraction
 noextract