4 ms·
If 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 simi
by neilparikh 10y ago
If 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.