<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On 16 October 2013 18:53, Gabriel Dos Reis <span dir="ltr"><<a href="mailto:gdr@axiomatics.org" target="_blank">gdr@axiomatics.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
</div></div>Only on the cases, e.g. input values, where they aren't both defined.<br>
That isn't failure. You're looking at the value of the proposition when the<br>
preconditions aren't satisfied, we all know what happens :-)<br>
<div class="HOEnZb"><div class="h5"><br><br></div></div></blockquote><div><br></div><div>Indeed we do know, Lakos will throw an exception.<br><br></div><div>I'll get my coat now. :) <br></div></div><br></div></div>