From a32b316e521fa4f239b610ec8f1d15e78d62cbe8 Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Sat, 13 Jan 2024 16:19:48 -0800 Subject: [PATCH] rlimit --- examples/rel/Benton2004.RHL.Examples.fst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/rel/Benton2004.RHL.Examples.fst b/examples/rel/Benton2004.RHL.Examples.fst index ff06249a3e7..9fc67839279 100644 --- 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))