From c62b089ca8e8a428d4047e09f3f4c375bb6deb12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 22 May 2024 19:24:33 -0700
Subject: [PATCH] tests/hacl: bump rlimit

---
 tests/hacl/Lib.Sequence.Lemmas.fst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/hacl/Lib.Sequence.Lemmas.fst b/tests/hacl/Lib.Sequence.Lemmas.fst
index c7941e93f86..ee17757b59d 100644
--- 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