Wiktionary

postcondition

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

Retrieved from "https://en.wiktionary.org/w/index.php?title=postcondition&oldid=65129192"