From 86b75e516034e28996064664989e0918a582486b Mon Sep 17 00:00:00 2001 From: "Christoph J. Scherr" Date: Mon, 22 Jul 2024 12:21:31 +0200 Subject: [PATCH] chore: add fixme to bench, which is not working --- src/bench/builtin.rs | 2 +- src/bench/mod.rs | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/bench/builtin.rs b/src/bench/builtin.rs index c570fc8..8c19edd 100644 --- a/src/bench/builtin.rs +++ b/src/bench/builtin.rs @@ -76,7 +76,7 @@ where let report = self.report_shared(); let solver = self.solver(); // TODO: make this run in another thread somehow - Self::bench(n, report, solver, &builder); + Self::bench(n, report, solver, &builder)?; Ok(()) } } diff --git a/src/bench/mod.rs b/src/bench/mod.rs index 4a3a8b5..f06230d 100644 --- a/src/bench/mod.rs +++ b/src/bench/mod.rs @@ -44,6 +44,7 @@ where // TODO: add some interface to get reports while the benchmark runs // TODO: make the benchmark optionally multithreaded // NOTE: This is blocking, use start to let it run in another thread + // FIXME: this never stops? Reports just keep getting printed fn bench( n: usize, report: Arc>,