notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

Postcondition.md (183B)

      1 # Postcondition 
      2 
      3 U 1.4.1
      4 
      5 **Definition:** Postconditions are the expected outputs of a function or program which are predicated upon the specified [Preconditions](Preconditions.md).