Example

Which of these function calls

meet the precondition ?

But the first call violates the precondition,

since the argument is less than zero.

Previous slide

Next slide

Back to first slide

View graphic version