From 9b0a7ae1e81cd48f810bf0a7b8efb1207ee7c4a3 Mon Sep 17 00:00:00 2001
From: Federica <fedemoletta@hotmail.com>
Date: Thu, 18 Jan 2024 11:03:24 -0300
Subject: [PATCH] Move arg validation to a separate func

---
 cairo-vm-cli/src/main.rs | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/cairo-vm-cli/src/main.rs b/cairo-vm-cli/src/main.rs
index dd6381376a..351121b7df 100644
--- a/cairo-vm-cli/src/main.rs
+++ b/cairo-vm-cli/src/main.rs
@@ -112,9 +112,7 @@ impl FileWriter {
     }
 }
 
-fn run(args: impl Iterator<Item = String>) -> Result<(), Error> {
-    let args = Args::try_parse_from(args)?;
-
+fn validate_args(args: &Args) -> Result<(), Error> {
     if args.air_public_input.is_some() && !args.proof_mode {
         let error = Args::command().error(
             clap::error::ErrorKind::ArgumentConflict,
@@ -155,6 +153,14 @@ fn run(args: impl Iterator<Item = String>) -> Result<(), Error> {
         return Err(Error::Cli(error));
     }
 
+    Ok(())
+}
+
+fn run(args: impl Iterator<Item = String>) -> Result<(), Error> {
+    let args = Args::try_parse_from(args)?;
+
+    validate_args(&args)?;
+
     let trace_enabled = args.trace_file.is_some() || args.air_public_input.is_some();
     let mut hint_executor = BuiltinHintProcessor::new_empty();
     let cairo_run_config = cairo_run::CairoRunConfig {