diff --git a/compiler/noirc_driver/src/lib.rs b/compiler/noirc_driver/src/lib.rs index 9e6207b4efe..a8b46a317c1 100644 --- a/compiler/noirc_driver/src/lib.rs +++ b/compiler/noirc_driver/src/lib.rs @@ -135,7 +135,7 @@ pub struct CompileOptions { /// Warning: This can improve compilation speed but can also lead to correctness errors. /// This check should always be run on production code. #[arg(long)] - pub skip_missing_brillig_constraints_check: bool, + pub skip_brillig_constraints_check: bool, /// Setting to decide on an inlining strategy for Brillig functions. /// A more aggressive inliner should generate larger programs but more optimized @@ -631,7 +631,7 @@ pub fn compile_no_check( }, emit_ssa: if options.emit_ssa { Some(context.package_build_path.clone()) } else { None }, skip_underconstrained_check: options.skip_underconstrained_check, - skip_missing_brillig_constraints_check: options.skip_missing_brillig_constraints_check, + skip_brillig_constraints_check: options.skip_brillig_constraints_check, inliner_aggressiveness: options.inliner_aggressiveness, max_bytecode_increase_percent: options.max_bytecode_increase_percent, }; diff --git a/compiler/noirc_evaluator/src/ssa.rs b/compiler/noirc_evaluator/src/ssa.rs index 5ca1342a16a..61f256cd72d 100644 --- a/compiler/noirc_evaluator/src/ssa.rs +++ b/compiler/noirc_evaluator/src/ssa.rs @@ -73,7 +73,7 @@ pub struct SsaEvaluatorOptions { pub skip_underconstrained_check: bool, /// Skip the missing Brillig call constraints check - pub skip_missing_brillig_constraints_check: bool, + pub skip_brillig_constraints_check: bool, /// The higher the value, the more inlined Brillig functions will be. pub inliner_aggressiveness: i64, @@ -155,7 +155,7 @@ pub(crate) fn optimize_into_acir( )); } - if !options.skip_missing_brillig_constraints_check { + if !options.skip_brillig_constraints_check { ssa_level_warnings.extend(time( "After Check for Missing Brillig Call Constraints", options.print_codegen_timings,