diff options
author | Giuliano Procida <gprocida@google.com> | 2023-02-15 11:11:41 +0000 |
---|---|---|
committer | Giuliano Procida <gprocida@google.com> | 2023-03-07 12:14:41 +0000 |
commit | 8d6c9fe25ff95281e01420f2941ee5b7aa23338b (patch) | |
tree | 634749d963f25330aa4e1494d8462692d31dc708 | |
parent | df2626825ea0dabea6865b52ef50d4cd0e8a0e28 (diff) | |
download | stg-8d6c9fe25ff95281e01420f2941ee5b7aa23338b.tar.gz |
type resolution: add metric for total time taken
PiperOrigin-RevId: 509780393
Change-Id: I907ec8d798e6abe9ea4454887c8c05dfaf85ebf3
-rw-r--r-- | type_resolution.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/type_resolution.cc b/type_resolution.cc index 033c7cf..15943a8 100644 --- a/type_resolution.cc +++ b/type_resolution.cc @@ -451,6 +451,8 @@ struct Unify { void ResolveTypes(Graph& graph, const std::vector<std::reference_wrapper<Id>>& roots, Metrics& metrics) { + const Time total(metrics, "resolve.total"); + // collect named types NamedTypes named_types(graph, metrics); { |