Date: Wed, 16 Oct 2013 18:58:41 +0300
On 16 October 2013 18:53, Gabriel Dos Reis <gdr_at_[hidden]> wrote:
>
> Only on the cases, e.g. input values, where they aren't both defined.
> That isn't failure. You're looking at the value of the proposition when
> the
> preconditions aren't satisfied, we all know what happens :-)
>
>
>
Indeed we do know, Lakos will throw an exception.
I'll get my coat now. :)
>
> Only on the cases, e.g. input values, where they aren't both defined.
> That isn't failure. You're looking at the value of the proposition when
> the
> preconditions aren't satisfied, we all know what happens :-)
>
>
>
Indeed we do know, Lakos will throw an exception.
I'll get my coat now. :)
Received on 2013-10-16 17:58:43