diff options
Diffstat (limited to '')
| -rw-r--r-- | tests/betree/BetreeMain.Opaque.fsti | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/betree/BetreeMain.Opaque.fsti b/tests/betree/BetreeMain.Opaque.fsti index 7f0c04de..dc49601a 100644 --- a/tests/betree/BetreeMain.Opaque.fsti +++ b/tests/betree/BetreeMain.Opaque.fsti @@ -4,7 +4,7 @@ module BetreeMain.Opaque open Primitives include BetreeMain.Types -#set-options "--z3rlimit 50 --fuel 0 --ifuel 1" +#set-options "--z3rlimit 50 --fuel 1 --ifuel 1" (** [betree_main::betree_utils::load_internal_node] *) val betree_utils_load_internal_node_fwd |