Test cases should uncover errors like
(a) Nonexistent loop termination
(b) Comparison of different data types
(c) Incorrect logical operators or precedence
(d) All of the mentioned
This question was posed to me in my homework.
The question is from Software Testing Strategies topic in section Software Testing and Quality Management of Software Engineering