From 657a821e0279cba4bca112c74c0014587722cbbd Mon Sep 17 00:00:00 2001
From: Pierrick Couderc <pierrick.couderc@nomadic-labs.com>
Date: Wed, 3 May 2023 09:43:23 +0200
Subject: [PATCH] WASM/Helpers: fix `eval_to_result` yielding on reveal
 unnecessarily

---
 src/lib_scoru_wasm/helpers/wasm_utils.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib_scoru_wasm/helpers/wasm_utils.ml b/src/lib_scoru_wasm/helpers/wasm_utils.ml
index a02a0f130718..8425382bdc59 100644
--- a/src/lib_scoru_wasm/helpers/wasm_utils.ml
+++ b/src/lib_scoru_wasm/helpers/wasm_utils.ml
@@ -286,6 +286,7 @@ let eval_to_result ?write_debug ?reveal_builtins tree =
   let should_compute pvm_state =
     let+ input_request_val = Wasm_vm.get_info pvm_state in
     match (input_request_val.input_request, pvm_state.tick_state) with
+    | Reveal_required _, _ when reveal_builtins <> None -> true
     | Reveal_required _, _ | Input_required, _ -> false
     | ( No_input_required,
         Eval
-- 
GitLab