Skip to content

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

CONTRACTS: allow pointer predicates to fail in assume contexts

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

Annotations

3 warnings

OpenBSD

succeeded Jan 12, 2025 in 7m 6s