postcondition

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.

Derived terms

See also

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.