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