From 970c1be14318a52ee3f3ec83a1d764ae3b266eb0 Mon Sep 17 00:00:00 2001 From: "Christoph J. Scherr" Date: Wed, 31 Jul 2024 10:25:03 +0200 Subject: [PATCH] fix(bench): use the n defined by cli --- src/bin/bench/cli.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/bench/cli.rs b/src/bin/bench/cli.rs index 434b783..9cab3c8 100644 --- a/src/bin/bench/cli.rs +++ b/src/bin/bench/cli.rs @@ -72,7 +72,7 @@ fn main() -> anyhow::Result<()> { let bench = BuiltinBenchmark::build(&wl, solver, builder, cli.threads)?; trace!("{bench:#?}"); - bench.start(50, &bench.builder())?; + bench.start(cli.n, &bench.builder())?; loop { sleep(std::time::Duration::from_secs(1));