rlimit

FStarLang · Jan 14, 2024 · a32b316 · a32b316
1 parent 1d823c2
commit a32b316
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/rel/Benton2004.RHL.Examples.fst b/examples/rel/Benton2004.RHL.Examples.fst
@@ -185,7 +185,7 @@ let d_su1'_flip
   ]]
 = d_su1' c c' c'' (flip phi) (flip phi') (flip phi'')
 
-#set-options "--z3rlimit 100"
+#set-options "--z3rlimit 150"
 let sec43
   (i n x y: var)
   (diffs: squash (List.Tot.noRepeats [i; n; x; y] == true))