From 7dce6eaffaa4169fab822d833e32b593ad867588 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 6 May 2022 15:53:52 +0200
Subject: Update the extraction to set the fuel to 1 in the Z3 options

---
 tests/misc/External.Funs.fst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/misc/External.Funs.fst')

diff --git a/tests/misc/External.Funs.fst b/tests/misc/External.Funs.fst
index c85ebf64..aafc0cf6 100644
--- a/tests/misc/External.Funs.fst
+++ b/tests/misc/External.Funs.fst
@@ -5,7 +5,7 @@ open Primitives
 include External.Types
 include External.Opaque
 
-#set-options "--z3rlimit 50 --fuel 0 --ifuel 1"
+#set-options "--z3rlimit 50 --fuel 1 --ifuel 1"
 
 (** [external::swap] *)
 let swap_fwd (t : Type0) (x : t) (y : t) (st : state) : result (state & unit) =
-- 
cgit v1.2.3