A post-condition is a value or set of values that will be true after making an API call.
Example
If a function mutates a variable during execution, then a post-condition for that function is the fact that it has mutated that variable
A post-condition is a value or set of values that will be true after making an API call.
Example
If a function mutates a variable during execution, then a post-condition for that function is the fact that it has mutated that variable