rlimit

Author: tahina-pro

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))