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