Comment by psychoslave

What do you mean with testable in a fraction of time?

Generated tests can help, and if we go into that direction we can now certainly afford to introduce more proven code (Lean/Roq/Frama-C…), but that will still not be wild reality proof until it faces the whole user base and their widely different environments.

And large load of code is still large load of code.