Jonathan Basseri b874d2789b Add metrics to equivalence cache. ...

This adds counters to equiv. cache reads & writes. Reads are labeled by
hit/miss, while writes are labeled to indicate whether the write was
discarded.

This will give us visibility into,
- hit rate of cache reads
- ratio of reads to writes
- rate of discarded writes

2018-08-15 15:51:13 -07:00

..

BUILD

…

metrics.go

Add metrics to equivalence cache.

2018-08-15 15:51:13 -07:00