name-resolutionIgnored
URI: benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution
Source file: benches/example_benchmarks.rs
Created:
2 months ago
Ignore reason: https://github.com/egraphs-good/egglog/pull/444#issuecomment-2428006204
Results History
Branches
Select branches
Execution Profile
Execution profile not availableWe couldn't create an execution profile for this benchmark. Check the documentation for more details on enabling trace generation.