Use Unix.gettimeofday instead of Rusage

formalsec · Feb 27, 2025 · 7d96035 · 7d96035
1 parent 1c60420
commit 7d96035
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/dune b/src/dune
@@ -70,7 +70,6 @@
   menhirLib
   ocaml_intrinsics
   patricia-tree
-  rusage
   scfg
   smtml.prelude
   yojson

diff --git a/src/utils.ml b/src/utils.ml
@@ -3,8 +3,8 @@
 (* Written by the Smtml programmers *)
 
 let run_and_time_call ~use f =
-  let start = (Rusage.get Self).utime in
+  let start = Unix.gettimeofday () in
   let result = f () in
-  let stop = (Rusage.get Self).utime in
+  let stop = Unix.gettimeofday () in
   use (stop -. start);
   result