diff options
Diffstat (limited to 'fstar')
-rw-r--r-- | fstar/Primitives.fst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fstar/Primitives.fst b/fstar/Primitives.fst index 1b3972cc..6771fe93 100644 --- a/fstar/Primitives.fst +++ b/fstar/Primitives.fst @@ -2,7 +2,7 @@ module Primitives open FStar.Mul -#set-options "--z3rlimit 50 --fuel 0 --ifuel 1" +#set-options "--z3rlimit 15 --fuel 0 --ifuel 1" (*** Result *) type result (a : Type0) : Type0 = |