On Mon, 28 Mar 2011 03:53:56 -0400, Don <nos...@nospam.com> wrote:
If you only have standalone functions, at the moment there's not really any benefit to in and out contracts. You can equally well put the asserts at the start and end of the function.
Well, if you have code in your in/out contracts that is not an assert call, it will also be compiled out (not true if the in check is inside the body).
-Steve
