diff --git a/src/lib_scoru_wasm/helpers/wasm_utils.ml b/src/lib_scoru_wasm/helpers/wasm_utils.ml
index a02a0f1307189e76626fef6a17a7a8ffb4867346..8425382bdc59559d80d82b138349687c20144441 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