Skip to content
Kani Performance Benchmarks

Remove the overflow checks for wrapping_offset (#3589) #641

Sign in to view logs

Remove the overflow checks for wrapping_offset (#3589)

Remove the overflow checks for wrapping_offset (#3589) #641

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf-benchcomp
1h 4m 27s
1h 4m 27s