Skip to content

Commit

Permalink
chore: change the benchmark params default values
Browse files Browse the repository at this point in the history
  • Loading branch information
krushimir committed Jan 30, 2025
1 parent 1eb7769 commit 4f6f431
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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,
}

Expand Down

0 comments on commit 4f6f431

Please sign in to comment.