From aae642230b9ddc67877b778643b63b748e63bbb9 Mon Sep 17 00:00:00 2001 From: pecornilleau Date: Thu, 15 Dec 2022 17:33:08 +0100 Subject: [PATCH] Wasm: correct paramater passing --- src/lib_scoru_wasm/test/helpers/wasm_utils.ml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/lib_scoru_wasm/test/helpers/wasm_utils.ml b/src/lib_scoru_wasm/test/helpers/wasm_utils.ml index 2b089830e8f0..b732daec5594 100644 --- a/src/lib_scoru_wasm/test/helpers/wasm_utils.ml +++ b/src/lib_scoru_wasm/test/helpers/wasm_utils.ml @@ -109,7 +109,7 @@ let rec eval_to_snapshot ?(builtins = builtins) ?(max_steps = Int64.max_int) let* state = Wasm.Internal_for_tests.get_tick_state tree in match state with | Snapshot | Collect -> return tree - | _ -> eval_to_snapshot ~max_steps tree + | _ -> eval_to_snapshot ~max_steps ~builtins ~debug_flag tree in let* info = Wasm.get_info tree in match info.input_request with @@ -130,7 +130,13 @@ let rec eval_until_input_requested ?(builtins = builtins) ?after_fast_exec match info.input_request with | No_input_required -> let* tree, _ = run ~builtins ~debug_flag ~max_steps tree in - eval_until_input_requested ~max_steps tree + eval_until_input_requested + ~builtins + ?after_fast_exec + ~fast_exec + ~max_steps + ~debug_flag + tree | Input_required | Reveal_required _ -> return tree let input_info level message_counter = -- GitLab