Skip to content

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

CONTRACTS: allow pointer predicates to fail in assume contexts

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

Annotations

2 warnings

check-vs-2022-make-build-and-test

succeeded Jan 17, 2025 in 43m 21s