From d3495238c4dd03df3022b3eb8789cb1523aa9771 Mon Sep 17 00:00:00 2001 From: Pere Diaz Bou Date: Fri, 30 May 2025 11:02:05 +0200 Subject: [PATCH] set default level info and log seed at startup --- simulator/generation/plan.rs | 1 - simulator/main.rs | 3 ++- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/simulator/generation/plan.rs b/simulator/generation/plan.rs index 9309f068e..56ba34b65 100644 --- a/simulator/generation/plan.rs +++ b/simulator/generation/plan.rs @@ -482,7 +482,6 @@ impl Interaction { pub(crate) fn execute_query(&self, conn: &mut Rc, io: &SimulatorIO) -> ResultSet { if let Self::Query(query) = self { let query_str = query.to_string(); - tracing::info!("executing: {}", query_str); let rows = conn.query(&query_str); if rows.is_err() { let err = rows.err(); diff --git a/simulator/main.rs b/simulator/main.rs index 0d23a7a42..3637b8230 100644 --- a/simulator/main.rs +++ b/simulator/main.rs @@ -564,6 +564,7 @@ fn setup_simulation( ) -> (u64, SimulatorEnv, Vec) { if let Some(seed) = &cli_opts.load { let seed = seed.parse::().expect("seed should be a number"); + tracing::info!("seed={}", seed); let bug = bugbase .get_bug(seed) .unwrap_or_else(|| panic!("bug '{}' not found in bug base", seed)); @@ -660,7 +661,7 @@ fn init_logger() { .without_time() .with_thread_ids(false), ) - .with(EnvFilter::from_default_env()) + .with(EnvFilter::try_from_default_env().unwrap_or_else(|_| EnvFilter::new("info"))) .try_init(); }