Re: QUIT and ABORT

On Sat, 24 May 2025 9:20:57 +0000, Ruvim wrote:
[..]

In a standard system, any behavior that is not explicitly allowed by the
standard (and can be detected by a standard program) is prohibited.

This can't be falsified - there is no list which enumerates all possible
behavior. Also, the effect of e.g. a random memory (hardware) error is
not
something that can be prohibited.

In a
standard program, any behavior that is not explicitly prohibited by the
standard is allowed.

This can easily be falsified with a extensive test suite.
Should the first clause be dropped?
-marcel