mirrors/limbo
1
0
Fork 0
mirror of https://github.com/tursodatabase/limbo.git synced 2025-08-03 17:48:17 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

set default level info and log seed at startup

Browse source
This commit is contained in:
Pere Diaz Bou 2025-05-30 11:02:05 +02:00
parent 8ec7e616b4
commit d3495238c4
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
simulator/main.rs
View file

@ -564,6 +564,7 @@ fn setup_simulation(
) -> (u64, SimulatorEnv, Vec<InteractionPlan>) {
if let Some(seed) = &cli_opts.load {
let seed = seed.parse::<u64>().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();
}