package syguslib-utils

  1. Overview
  2. Docs
val log_proc_start : int -> unit
val log_solver_start : int -> string -> unit
val log_proc_restart : int -> unit
val log_alive : int -> unit
val log_proc_quit : ?status:int -> int -> unit
val get_elapsed : int -> float
OCaml

Innovation. Community. Security.