CI: bump rlimit

Inria-Prosecco · Jul 10, 2024 · d25878d · d25878d
1 parent 4ade70b
commit d25878d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SizeClassSelection.fst b/src/SizeClassSelection.fst
@@ -761,7 +761,7 @@ let inv_exact_log2 (k: nat)
   assert (r < pow2 (k1 + 6 + 1));
   log2u64_spec_eq_lemma r (k1 + 6)
 
-#push-options "--z3rlimit 30"
+#push-options "--z3rlimit 50"
 let inv_exact_aux2 (k: nat)
   : Lemma
   (requires 1 <= k /\ k <= 24)