John Regehr on "Use of Assertions"

[Nick Sabalausky (Abscissa)]

On 09/01/2018 07:54 PM, Walter Bright wrote:
> On 9/1/2018 3:23 PM, Guillaume Boucher wrote:
>> On Saturday, 1 September 2018 at 20:15:15 UTC, Walter Bright wrote:
>>> 
>>> [John agrees with me.]
>>
>> [No, he doesn't.]
> 
> [Yea-huh, he does.]
> 

You're both wrong. ;) Or actually, you're both right...

There's a section with the following heading:

    "Are Assertions Enabled in Production Code?"

First sentence of that section:

    "This is entirely situational."

One point for "John agrees with Walter."

HOWEVER, Walter has also expressed that a program should never continue 
after an assert failure. The concluding text of the same section:

    "[...rather interesting counterexample from NASA/Mars...] The 
question of whether it is better to stop or keep going when an internal 
bug is detected is not a straightforward one to answer."

One point for "John disagrees with Walter."