Postcondition Check
Kind: technique
Layer: Computation Core
Record: lexicon:postcondition-check
Canonical: Lexicon
A technique for checking at the end of an operation that the result and state it promises hold.
Listed in Lexicon terms, after Invariant Check and before Pin Versions.