postcondition
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Noun[edit]
postcondition (plural postconditions)
- (programming) A condition that must be met immediately after execution of some piece of code.
postcondition (plural postconditions)