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

Annotations

1 error

Verification Benchmarks  /  perf-benchcomp

Verification Benchmarks / perf-benchcomp
failed Sep 17, 2024 in 1h 5m 2s