let value () =
  !Db.Value.compute ();
  if Db.Value.is_computed () then begin
    let f1, f2 = Metrics_coverage.pp_value_coverage () in
    Metrics.result "%t" f1;
    Metrics.result "%t" f2;
    Metrics.result "%t" Metrics_coverage.pp_stmts_reached_by_function;
  end