From a2da4daf9da5439b8a13f9cdf3f5e56547bd44ec Mon Sep 17 00:00:00 2001 From: Nitsan Davidovich Date: Sun, 21 Dec 2025 16:04:43 +0200 Subject: [PATCH] allow_missing_builtins conflicts with proof_mode in cairo_run_program --- .../src/bin/cairo_program_runner/main.rs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/crates/cairo-program-runner/src/bin/cairo_program_runner/main.rs b/crates/cairo-program-runner/src/bin/cairo_program_runner/main.rs index 951ebeb6..2b88a8fc 100644 --- a/crates/cairo-program-runner/src/bin/cairo_program_runner/main.rs +++ b/crates/cairo-program-runner/src/bin/cairo_program_runner/main.rs @@ -90,7 +90,8 @@ struct Args { num_args = 0..=1, default_missing_value = "true", help = "Allow initializing the runner with builtins in the program that are not present in - the layout." + the layout.", + conflicts_with = "proof_mode", )] allow_missing_builtins: bool, #[clap( @@ -158,9 +159,9 @@ fn main() -> Result<(), Box> { &args.dynamic_params_file, args.layout, args.proof_mode, - args.disable_trace_padding, - args.allow_missing_builtins, - args.relocate_mem, // will affect only if proof_mode is true + args.disable_trace_padding, // will affect only if proof_mode is true + args.allow_missing_builtins, // will affect only if proof_mode is false + args.relocate_mem, // will affect only if proof_mode is true )?; let mut runner = cairo_run_program(&program, program_input_contents, cairo_run_config)?;