Debugging lists three possibilities to consider if a function is not working.
There can be something wrong with the arguments being passed to the function.
There can be something wrong with the function itself.
There can be something wrong with the return value or how the return value is used is wrong.
Precondition- This is just a predicate that should hold upon entering into a function.
Postcondition- A predicate that must hold upon exiting a function.
Comments
Leave a comment