168k views
5 votes
What is the post condition of an expression or variable

User AndreKR
by
6.5k points

1 Answer

2 votes

Answer:

The post condition is simply a statement expressing what work has been accomplished by the function. This work might involve reading or writing data, changing the values of variable parameters, or other actions.

User Crazyfool
by
6.7k points