Skip to content
Back to pull request #3332

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
BuildBundle-Linux
15m 55s
BuildBundle-MacOs
11m 44s
BuildBundle-MacOs-ARM
4m 6s
TestAlternativePlatforms
1m 55s
TestBundle (macos-13)
58s
TestLocalToolchain (macos-13)
2m 14s
TestBundle (ubuntu-20.04)
42s
TestLocalToolchain (ubuntu-20.04)
1m 0s
TestBundle (ubuntu-22.04)
38s
TestLocalToolchain (ubuntu-22.04)
49s
Release
0s
Package Docker
0s
40m 1s