Penguin
Recent Changes
Blame: PostCondition
EditPageHistoryDiffInfoLikePages
Annotated edit history of PostCondition version 1, including all changes. View license author blame.
Rev Author # Line
1 StuartYeates 1 A logical condition that will hold after a method of function has completed. Used to generated proofs about program behaviour. Supported natively in the [Eiffel] language.
2
3 See also PreCondition