From 3c14f7d9f0730daf2362a01a979b1e8e5edbff58 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 5 Dec 2023 14:50:34 -0500 Subject: [PATCH] make benchmark more ruthless --- bench/trace1.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bench/trace1.ml b/bench/trace1.ml index f194a0d..624f770 100644 --- a/bench/trace1.ml +++ b/bench/trace1.ml @@ -11,8 +11,8 @@ let work ~n () : unit = for _k = 1 to 10 do let@ _sp = Trace.with_span ~__FILE__ ~__LINE__ "inner" in () - done; - Thread.delay 1e-6 + done + (* Thread.delay 1e-6 *) done let main ~n ~j () : unit =