search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Interpreter Doesn't Check Post-Conditions ? #1098

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

Does it make sense that it doesn't check postconditions? This would be a problem for old() expressions, but currently it isn't.

DavePearce commented 2 years ago

UPDATE: it does check postconditions, but only if there is a return value!