tests/hacl: bump rlimit

FStarLang · May 23, 2024 · c62b089 · c62b089
1 parent ac06b76
commit c62b089
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/hacl/Lib.Sequence.Lemmas.fst b/tests/hacl/Lib.Sequence.Lemmas.fst
@@ -122,7 +122,7 @@ let len0_div_bs blocksize len len0 =
     len / blocksize;
   }
 
-#push-options "--z3rlimit 60"
+#push-options "--z3rlimit 80"
 let split_len_lemma0 blocksize n len0 =
   let len = n * blocksize in
   let len1 = len - len0 in