[edanm]

QA testing on various levels, and real-world usage without incident?

This is what most software does and it seems to work fine in the real world, in most cases at least.

[hateduser2]

>it seems to work fine in the real world

I thought the whole premise of this conversation was that this is a total fabrication?

[abritinthebay]

I don’t believe so - I think it was it isn’t formally showing it is correct. Which is true.