add trace not enabled error

Author: Stavbe

cairo-vm-cli/src/main.rs

@@ -4,6 +4,7 @@ use bincode::enc::write::Writer;
 use cairo_vm::air_public_input::PublicInputError;
 use cairo_vm::cairo_run::{self, EncodeTraceError};
 use cairo_vm::hint_processor::builtin_hint_processor::builtin_hint_processor_definition::BuiltinHintProcessor;
+use cairo_vm::prover_input_info::ProverInputInfoError;
 #[cfg(feature = "with_tracer")]
 use cairo_vm::serde::deserialize_program::DebugInfo;
 use cairo_vm::types::layout::CairoLayoutParams;
@@ -14,7 +15,7 @@ use cairo_vm::vm::errors::vm_errors::VirtualMachineError;
 use cairo_vm::vm::runners::cairo_pie::CairoPie;
 #[cfg(feature = "with_tracer")]
 use cairo_vm::vm::runners::cairo_runner::CairoRunner;
-use cairo_vm::vm::runners::cairo_runner::{ProverInputInfoError, RunResources};
+use cairo_vm::vm::runners::cairo_runner::RunResources;
 #[cfg(feature = "with_tracer")]
 use cairo_vm_tracer::error::trace_data_errors::TraceDataError;
 #[cfg(feature = "with_tracer")]
@@ -246,19 +247,13 @@ fn run(args: impl Iterator<Item = String>) -> Result<(), Error> {
     }
 
     if let Some(path) = args.prover_input_info {
-        let prover_input_info = cairo_runner.get_prover_input_info().map_err(|error| {
-            eprintln!("{error}");
-            CairoRunError::Runner(error)
-        })?;
+        let prover_input_info = cairo_runner.get_prover_input_info()?;
         let bytes = prover_input_info.serialize()?;
         std::fs::write(path, bytes)?;
     }
 
     if let Some(path) = args.prover_input_info_json {
-        let prover_input_info = cairo_runner.get_prover_input_info().map_err(|error| {
-            eprintln!("{error}");
-            CairoRunError::Runner(error)
-        })?;
+        let prover_input_info = cairo_runner.get_prover_input_info()?;
         let json = prover_input_info.serialize_json()?;
         std::fs::write(path, json)?;
     }

vm/src/prover_input_info.rs

@@ -33,11 +33,12 @@ impl ProverInputInfo {
     }
 }
 
-// TODO(Stav): add TraceNotEnabled error.
 #[derive(Debug, Error)]
 pub enum ProverInputInfoError {
     #[error("Failed to (de)serialize data using bincode")]
     SerdeBincode(#[from] bincode::error::EncodeError),
     #[error("Failed to (de)serialize data using json")]
     SerdeJson(#[from] serde_json::Error),
+    #[error("Trace was not enabled")]
+    TraceNotEnabled,
 }

vm/src/vm/runners/cairo_runner.rs

@@ -18,7 +18,7 @@ use crate::{
 
 use crate::{
     hint_processor::hint_processor_definition::{HintProcessor, HintReference},
-    prover_input_info::ProverInputInfo,
+    prover_input_info::{ProverInputInfo, ProverInputInfoError},
     types::{
         errors::{math_errors::MathError, program_errors::ProgramError},
         exec_scope::ExecutionScopes,
@@ -1491,12 +1491,12 @@ impl CairoRunner {
 
     /// Collects relevant information for the prover from the runner, including the
     /// relocatable form of the trace, memory, public memory, and built-ins.
-    pub fn get_prover_input_info(&self) -> Result<ProverInputInfo, RunnerError> {
+    pub fn get_prover_input_info(&self) -> Result<ProverInputInfo, ProverInputInfoError> {
         let relocatable_trace = self
             .vm
             .trace
             .as_ref()
-            .ok_or(RunnerError::Trace(TraceError::TraceNotEnabled))?
+            .ok_or(ProverInputInfoError::TraceNotEnabled)?
             .clone();
 
         let relocatable_memory = self