package sail

  1. Overview
  2. Docs
val opt_profile : bool Stdlib.ref
type profile = {
  1. smt_calls : int;
  2. smt_time : float;
}
val new_profile : profile
val profile_stack : profile list Stdlib.ref
val update_profile : (profile -> profile) -> unit
val start_smt : unit -> float
val finish_smt : float -> unit
val start : unit -> float
val finish : string -> float -> unit
OCaml

Innovation. Community. Security.