MCPcopy Create free account
hub / github.com/agenticsorg/lean-agentic / stats

Method stats

leanr-eval-lite/src/normalize.rs:249–251  ·  view source on GitHub ↗

Get reduction statistics

(&self)

Source from the content-addressed store, hash-verified

247
248 /// Get reduction statistics
249 pub fn stats(&self) -> &ReductionStats {
250 &self.stats
251 }
252
253 /// Get cache hit rate
254 pub fn cache_hit_rate(&self) -> f64 {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected