update_logs_in_stwo_run_and_prove

Author: nitsan-starkware

.github/workflows/upload_artifacts_workflow.yml

@@ -3,7 +3,7 @@ name: Upload-Artifacts
 on:
   push:
     branches:
-      - main
+      - nitsan/update_logs_in_stwo_run_and_prove
 
 jobs:
   artifacts-push:

crates/stwo_run_and_prove/Cargo.toml

@@ -8,6 +8,7 @@ cairo-vm.workspace = true
 clap.workspace = true
 thiserror.workspace = true
 cairo-program-runner-lib.workspace = true
+log.workspace = true
 stwo-cairo-adapter.workspace = true
 stwo_cairo_prover.workspace = true
 stwo_cairo_utils.workspace = true

crates/stwo_run_and_prove/src/main.rs

@@ -34,7 +34,7 @@ use stwo_cairo_prover::stwo::prover::backend::simd::SimdBackend;
 use stwo_cairo_serialize::CairoSerialize;
 use stwo_cairo_utils::file_utils::{IoErrorWithPath, create_file, read_to_string};
 use thiserror::Error;
-use tracing::{error, info, warn};
+use tracing::{Level, error, info, span, warn};
 
 static PROOF_PREFIX: &str = "proof_";
 static SUCCESS_SUFFIX: &str = "_success";
@@ -175,6 +175,9 @@ struct ProveConfig {
 }
 
 fn main() -> Result<(), StwoRunAndProveError> {
+    let _span = span!(Level::INFO, "stwo run and prove").entered();
+    log::info!("log::info!"); // TODO: remove
+    info!("info!"); // TODO: remove
     let args = match Args::try_parse_from(env::args()) {
         Ok(args) => args,
         Err(err) => err.exit(),
@@ -227,7 +230,7 @@ fn stwo_run_and_prove(
         .map_err(|e| StwoRunAndProveError::from((e, program_path)))?;
     let program_input = get_program_input(&program_input)
         .map_err(|e| StwoRunAndProveError::from((e, program_input.unwrap_or_default())))?;
-    info!("Running cairo run program.");
+    log::info!("Running cairo run program.");
     let runner = cairo_run_program(&program, program_input, cairo_run_config)?;
     info!("Adapting prover input.");
     let prover_input = adapter(&runner);