Add reachability timing

goblint · Sep 28, 2023 · dd2a70b · dd2a70b
1 parent eb674b7
commit dd2a70b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -570,6 +570,8 @@ struct
     if M.tracing then M.traceu "reachability" "All reachable vars: %a\n" AD.pretty !visited;
     List.map AD.singleton (AD.elements !visited)
 
+  let reachable_vars ask args gs st = Timing.wrap "reachability" (reachable_vars ask args gs) st
+
   let drop_non_ptrs (st:CPA.t) : CPA.t =
     if CPA.is_top st then st else
       let rec replace_val = function