Skip to content
Kani Extra

Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked #1300

Sign in to view logs

Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked

Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked #1300

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
3s
Verification Benchmarks / perf-benchcomp
56m 34s
56m 37s