Each operand of the ! operator, the logical && or the logical || operators shall have type bool
Each operand of the ! operator, the logical && or the logical || operators shall have type bool.
If you expect a rule violation but do not see it, refer to the documentation for Polyspace® Code Prover™ or Polyspace Code Prover Server™.
| Group: Expressions |
| Category: Required |