A. Contradictions
B. Post-condition
C. Vagueness
D. None of the mentioned

Explanation: A precondition defines the circumstances in which a particular operation is valid.

Leave a Reply

Your email address will not be published. Required fields are marked *