From 30c8c01d945decb0064c456e09d72ef95d3eb7d4 Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Mon, 19 Feb 2024 10:57:58 -0800 Subject: [PATCH] rlimit --- src/lowparse/LowParse.BitFields.fst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lowparse/LowParse.BitFields.fst b/src/lowparse/LowParse.BitFields.fst index ce52f07cb..606d872d6 100644 --- a/src/lowparse/LowParse.BitFields.fst +++ b/src/lowparse/LowParse.BitFields.fst @@ -500,7 +500,7 @@ let get_bitfield_get_bitfield then nth_get_bitfield x lo hi (i + lo') ) -#push-options "--z3rlimit_factor 2" +#push-options "--z3rlimit_factor 4" let get_bitfield_zero_inner (#tot: pos) (x: U.uint_t tot)