Skip to content

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

CONTRACTS: allow pointer predicates to fail in assume contexts

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

Annotations

3 warnings

NetBSD

succeeded Jan 13, 2025 in 7m 13s