4 ms·

You can never guarantee you really have 100% test coverage in all scenarios in complex software.

• pjc50 8y ago
  Indeed. It gets asymptotically more expensive. Whereas a typechecker is a system of tests that's able to "cover" 100% of the code.