make sure we do not go over the timeout

OCamlPro · Aug 26, 2024 · edf7240 · edf7240
1 parent 03a8049
commit edf7240
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/bench/tool/tool.ml b/bench/tool/tool.ml
@@ -58,8 +58,12 @@ let wait_pid =
     let stime = stime_diff in
     let clock = end_time -. start_time in
 
+    (* Sometimes the clock goes a little bit above the allowed timeout... *)
+    let clock = min clock timeout in
     let rusage = { Report.Rusage.clock; utime; stime } in
-    if !did_timeout then Report.Run_result.Timeout rusage
+
+    if !did_timeout || Float.equal clock timeout then
+      Report.Run_result.Timeout rusage
     else
       match status with
       | WEXITED code -> begin