[SystemSafety] State of the art for "safe Linux"

[Paul Sherwood]

On 2024-08-07 12:54, Dewi Daniels wrote:
> On Wed, 7 Aug 2024 at 10:39, Paul Sherwood
> <paul.sherwood at codethink.co.uk> wrote:
> 
>> Because we can **test**, without creating **tests**. We may have
>> executed the code, but not created tests for it.
> 
> No, you can't.

Yes I can. I can can definitely test code by executing it. In fact, in 
most cases I expect I would **need** to execute code to test it.

Moreover I don't need to write a test, to test code.

> Executing the code is not the same thing is testing.

Agreed, but that doesn't alter the truth of my statement.