Skip to content

Commit fbc21fa

Browse files
Use builder for air private input with mod builtin test
1 parent fef6e8a commit fbc21fa

File tree

1 file changed

+18
-5
lines changed

1 file changed

+18
-5
lines changed

vm/src/vm/runners/builtin_runner/modulo.rs

Lines changed: 18 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -811,7 +811,7 @@ mod tests {
811811
hint_processor::builtin_hint_processor::builtin_hint_processor_definition::BuiltinHintProcessor,
812812
types::layout_name::LayoutName,
813813
utils::test_utils::Program,
814-
vm::runners::cairo_runner::CairoRunner,
814+
vm::runners::cairo_runner::{CairoRunnerBuilder, RunnerMode},
815815
Felt252,
816816
};
817817

@@ -821,11 +821,24 @@ mod tests {
821821

822822
let mut hint_processor = BuiltinHintProcessor::new_empty();
823823
let program = Program::from_bytes(program_data, Some("main")).unwrap();
824-
let mut runner =
825-
CairoRunner::new(&program, LayoutName::all_cairo, None, true, false, false).unwrap();
826824

827-
let end = runner.initialize(false).unwrap();
828-
// Modify add_mod & mul_mod params
825+
let mut runner_builder = CairoRunnerBuilder::new(
826+
&program,
827+
LayoutName::all_cairo,
828+
None,
829+
RunnerMode::ProofModeCanonical,
830+
)
831+
.unwrap();
832+
runner_builder
833+
.initialize_builtin_runners_for_layout()
834+
.unwrap();
835+
runner_builder.initialize_base_segments();
836+
runner_builder.load_program().unwrap();
837+
runner_builder.initialize_builtin_segments();
838+
runner_builder.initialize_builtin_zero_segments();
839+
let end = runner_builder.initialize_main_entrypoint().unwrap();
840+
runner_builder.initialize_validation_rules().unwrap();
841+
let mut runner = runner_builder.build().unwrap();
829842

830843
runner.run_until_pc(end, &mut hint_processor).unwrap();
831844
runner.run_for_steps(1, &mut hint_processor).unwrap();

0 commit comments

Comments
 (0)