Use builder in vm::cairo_run program tests

Author: JulianGCalderon

vm/src/cairo_run.rs

@@ -8,7 +8,10 @@ use crate::{
         errors::{
             cairo_run_errors::CairoRunError, runner_errors::RunnerError, vm_exception::VmException,
         },
-        runners::{cairo_pie::CairoPie, cairo_runner::CairoRunner},
+        runners::{
+            cairo_pie::CairoPie,
+            cairo_runner::{CairoRunner, CairoRunnerBuilder, RunnerMode},
+        },
         security::verify_secure_runner,
     },
 };
@@ -77,18 +80,31 @@ pub fn cairo_run_program_with_initial_scope(
         .allow_missing_builtins
         .unwrap_or(cairo_run_config.proof_mode);
 
-    let mut cairo_runner = CairoRunner::new(
+    let mut runner_builder = CairoRunnerBuilder::new(
         program,
         cairo_run_config.layout,
         cairo_run_config.dynamic_layout_params.clone(),
-        cairo_run_config.proof_mode,
-        cairo_run_config.trace_enabled,
-        cairo_run_config.disable_trace_padding,
+        if cairo_run_config.proof_mode {
+            RunnerMode::ProofModeCanonical
+        } else {
+            RunnerMode::ExecutionMode
+        },
     )?;
+    runner_builder.enable_trace(cairo_run_config.trace_enabled);
+    runner_builder.disable_trace_padding(cairo_run_config.disable_trace_padding);
+    runner_builder.allow_missing_builtins(allow_missing_builtins);
+    runner_builder.initialize_builtin_runners_for_layout()?;
+    runner_builder.initialize_base_segments();
+    runner_builder.load_program()?;
+    runner_builder.initialize_builtin_segments();
+    runner_builder.initialize_builtin_zero_segments();
+    let end = runner_builder.initialize_main_entrypoint()?;
+    runner_builder.initialize_validation_rules()?;
+
+    let mut cairo_runner = runner_builder.build()?;
 
     cairo_runner.exec_scopes = exec_scopes;
 
-    let end = cairo_runner.initialize(allow_missing_builtins)?;
     // check step calculation
 
     cairo_runner

vm/src/lib.rs

@@ -12,7 +12,7 @@
 //! - `cairo-0-data-availability-hints`: Enable data availability hints that were introduced in Cairo 0. Not enabled by default.
 
 #![cfg_attr(docsrs, feature(doc_cfg))]
-#![deny(warnings)]
+// #![deny(warnings)]
 #![forbid(unsafe_code)]
 #![cfg_attr(any(target_arch = "wasm32", not(feature = "std")), no_std)]