Sekirov Dictionary

postcondition

noun1

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

forms

postconditions

This dictionary works without the internet: on your phone · in Chrome