Postcondition

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    A condition that must be met immediately after execution of some piece of code.

Etymology

From post- + condition.

More for "postcondition"