fix(bench): use the n defined by cli
cargo devel CI / cargo CI (push) Failing after 1m57s Details

This commit is contained in:
Christoph J. Scherr 2024-07-31 10:25:03 +02:00
parent 6f72fda4ff
commit 970c1be143
1 changed files with 1 additions and 1 deletions

View File

@ -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));