3 ms·
Are those pre and post conditions always executed? Or are they optional assertions that can be enabled/disabled?
by bluejekyll 10y ago
Are those pre and post conditions always executed? Or are they optional assertions that can be enabled/disabled?
- neilparikh 10y agoIf I'm reading the description correctly, the pre and post conditions are analyzed statically during compiling, and not added to the output code. So it's a similar idea to type checking, where the program won't even compile until the versifier is sure your code meets the conditions.