From 4f6f43186df1904b7c04ee66a1c7e2a23d96fa85 Mon Sep 17 00:00:00 2001 From: krushimir Date: Thu, 30 Jan 2025 13:16:37 +0100 Subject: [PATCH] chore: change the benchmark params default values --- src/main.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/main.rs b/src/main.rs index b4a35f52..83daef67 100644 --- a/src/main.rs +++ b/src/main.rs @@ -13,13 +13,13 @@ use rand_utils::rand_value; #[clap(name = "Benchmark", about = "SMT benchmark", version, rename_all = "kebab-case")] pub struct BenchmarkCmd { /// Size of the tree - #[clap(short = 's', long = "size", default_value = "10000")] + #[clap(short = 's', long = "size", default_value = "1000000")] size: usize, /// Number of insertions - #[clap(short = 'i', long = "insertions", default_value = "10000")] + #[clap(short = 'i', long = "insertions", default_value = "1000")] insertions: usize, /// Number of updates - #[clap(short = 'u', long = "updates", default_value = "10000")] + #[clap(short = 'u', long = "updates", default_value = "1000")] updates: usize, }