I agree with this, but I haven't seen any evidence Bitcoin developers have upped their game with automatic test case generation, model verification, or anything else that checks the invariants the system is supposed to have.https://twitter.com/hugohanoi/status/1044074714572808192 …
Those are all nice things to have, I agree. However, I'd like to add that no test suites can ever have 100% coverage on all the possible real-world scenarios/edge cases. The more complex the system, the more that is true. Bugs will be unavoidable regardless.
