Skip to content

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

CONTRACTS: allow pointer predicates to fail in assume contexts

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

Annotations

1 error

check-clang-format

failed Jan 17, 2025 in 1m 12s