Skip to content
Kani CI

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

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

This job succeeded