CONTRACTS: allow pointer predicates to fail in assume contexts
#3057
Annotations
1 error
|
Check updated lines of code match clang-format-11 style
Process completed with exit code 1.
|
Loading