postcondition

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

post- +‎ condition

Noun[edit]

postcondition (plural postconditions)

English Wikipedia has an article on:
Wikipedia
  1. (programming) A condition that must be met immediately after execution of some piece of code.

See also[edit]