Skip to content
Kani Performance Benchmarks

Extend name resolution to support qualified paths (Partial Fix) (#3457) #569

Sign in to view logs

Extend name resolution to support qualified paths (Partial Fix) (#3457)

Extend name resolution to support qualified paths (Partial Fix) (#3457) #569

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf-benchcomp
59m 48s
59m 48s