Source file `solverStats.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
(** Statistics for solvers. *)

let vars = ref 0
let evals = ref 0
let narrow_reuses = ref 0

let print () =
  Logs.info "vars = %d    evals = %d    narrow_reuses = %d" !vars !evals !narrow_reuses

let reset () =
  vars := 0;
  evals := 0;
  narrow_reuses := 0