package syguslib-utils

  1. Overview
  2. Docs

The statistics modules allows logging start/termination time of subprocesses used to solve the syntax-guided synthesis instances. It should also provide a function that returns the time elapsed in the program.

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.