Skip to content
Kani Extra

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

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

Annotations

1 error

Verification Benchmarks  /  perf-benchcomp

Verification Benchmarks / perf-benchcomp
failed Sep 12, 2024 in 1h 1m 24s