Skip to content
Kani Extra

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

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 #1299

Verification Benchmarks  /  perf-benchcomp

Verification Benchmarks / perf-benchcomp
failed Jul 8, 2024 in 59m 17s