Skip to content

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

CONTRACTS: allow pointer predicates to fail in assume contexts

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

Annotations

1 error and 1 warning

Linux

failed Jan 14, 2025 in 23m 38s