On Saturday, 2 August 2014 at 21:25:40 UTC, Ola Fosheim Grøstad
wrote:
On Saturday, 2 August 2014 at 20:27:09 UTC, Andrei Alexandrescu
wrote:
Hmmm... code that fails assertions is hardly working. -- Andrei
It is not the code that fails the assertion, it is the asserted
proposition that has not be satisfied by the axioms in the
program as it has been formulated in the context. It does not
mean "can not be satisfied", but "has not been satisfied".
Don't you agree, that a program that throws AssertError in non
-release* build is broken?
* this is not the opposite of debug
