On Sunday, 3 August 2014 at 10:49:39 UTC, Timon Gehr wrote:
On 08/03/2014 11:15 AM, Paolo Invernizzi wrote:
because every few milliseconds an assert is triggered
Right, and software does not have security holes because
otherwise they would obviously be exploited every few
milliseconds during in-house testing.
That is a totally different matter: security holes are about
things that the programmer is _totally missing_, and someone is
seeing and exploiting that. I don't see how that relate with the
present discussion.
the colleague reading the sources is expecting that the
expression must be true, without doubt.
Poor guy. Do you support the claim that he might, if he
supports your "I don't buy this!" post introduce new assertions
by conjecturing they are true and then running the program for
a few milliseconds?
I don't grasp what you are arguing here: can you rephrase please?
---
Paolo