Skip to content

CONTRACTS: allow pointer predicates to fail in assume contexts #1512

CONTRACTS: allow pointer predicates to fail in assume contexts

CONTRACTS: allow pointer predicates to fail in assume contexts #1512

Annotations

3 warnings

OpenBSD

succeeded Jan 11, 2025 in 8m 58s