postcondition

English

Etymology

From post- +‎ condition.

Noun

postcondition (plural postconditions)

1. (programming) A condition that must be met immediately after execution of some piece of code.

See also

• precondition