On Saturday, 2 August 2014 at 21:36:11 UTC, Tobias Pankrath wrote:
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
By this definition of 'broken', I assert that most shipped
software is broken.
