Module Value_perf

module Value_perf: sig .. end
Call start_doing when starting analyzing a new function. The new function is on the top of the call stack.

val display_interval : float
val does_not_account_smaller_than : float
val duration : float -> float -> float
module Call_info: sig .. end
type flat_perf_info = {
   call_info : Call_info.t;
   called_functions : Call_info.t Kernel_function.Hashtbl.t;
}
val flat_perf_create : unit -> flat_perf_info
val flat : flat_perf_info Kernel_function.Hashtbl.t
val flat_print : float -> Format.formatter -> unit
module Call_site: Datatype.Pair(Kernel_function)(Cil_datatype.Kinstr)
module Imperative_callstack_trie: 
functor (M : sig
type t 
val default : unit -> t
end) -> sig .. end
type perf_info = {
   call_info_per_stack : Call_info.t;
}
module Perf_by_callstack: Imperative_callstack_trie(sig
type t = Value_perf.perf_info 
val default : unit -> Value_perf.perf_info
end)
val perf : Perf_by_callstack.elt Perf_by_callstack.Hashtbl.t
val last_time_displayed : float Pervasives.ref
val print_indentation : Format.formatter -> int -> unit
val display_node : Format.formatter ->
Kernel_function.t -> int -> Perf_by_callstack.elt -> float -> unit
val display_subtree : Format.formatter ->
int -> Perf_by_callstack.t -> float -> float -> unit
val display : Format.formatter -> unit
Display a complete summary of performance informations. Can be called during the analysis.
val caller_callee_callinfo : (Kernel_function.Hashtbl.key * 'a) list -> Call_info.t
val start_doing : Perf_by_callstack.Hashtbl.key list -> unit
val stop_doing : Perf_by_callstack.Hashtbl.key list -> unit
Call start_doing when finishing analyzing a function. The function must still be on the top of the call stack.
val reset : unit -> unit
Reset the internal state of the module; to call at the very beginning of the analysis.