Skip to content
Kani Extra

Remove isize overflow check for zst offsets #3127

Sign in to view logs

Remove isize overflow check for zst offsets

Remove isize overflow check for zst offsets #3127

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
6s
Verification Benchmarks / perf-benchcomp
1h 27m 58s
1h 28m 4s