make benchmark more ruthless

This commit is contained in:
Simon Cruanes 2023-12-05 14:50:34 -05:00
parent 0e198c8059
commit 3c14f7d9f0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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 =