diff options
Diffstat (limited to '')
-rw-r--r-- | tests/misc/BetreeNll.fst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/misc/BetreeNll.fst b/tests/misc/BetreeNll.fst index 14c1d2ba..b548a18b 100644 --- a/tests/misc/BetreeNll.fst +++ b/tests/misc/BetreeNll.fst @@ -3,7 +3,7 @@ module BetreeNll open Primitives -#set-options "--z3rlimit 50 --fuel 0 --ifuel 1" +#set-options "--z3rlimit 50 --fuel 1 --ifuel 1" (** [betree_nll::List] *) type list_t (t : Type0) = |