NASA/JPL Rules for writing Critical Software

[Robert burner Schadek via Digitalmars-d]

On Thursday, 8 January 2015 at 23:37:38 UTC, Walter Bright wrote:
> http://pixelscommander.com/wp-content/uploads/2014/12/P10.pdf

from the document (Rule 5):

A typical use of an assertion would be as follows:

if (!c_assert(p >= 0) == true) {
      return ERROR;
}

that is just bad code. IMO I'm not sure if I would trust their
advice.

But the ESA coding manual properly has worse stuff in it, but
this is getting OT way to fast.