Function test_cache_efficiency

lean-agentic/src/arena.rs:239–250

()

    #[test]
    fn test_cache_efficiency() {
        let mut arena = Arena::new();

        // Create many duplicate terms
        for _ in 0..100 {
            arena.mk_var(0);
        }

        // Should have high cache hit rate
        assert!(arena.cache_hit_rate() > 0.95);
        assert_eq!(arena.terms(), 1);
    }
}