Skip to content
Kani Extra

Instrument validity checks for pointer to reference casts for slices and str's #2130

Sign in to view logs

Instrument validity checks for pointer to reference casts for slices and str's

Instrument validity checks for pointer to reference casts for slices and str's #2130

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
5s
Verification Benchmarks / perf-benchcomp
1h 5m 2s
1h 5m 7s