rlimit

project-everest · Feb 19, 2024 · 30c8c01 · 30c8c01
1 parent 00217c4
commit 30c8c01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)