News for hackers. Stuff that matters.
Re:NULL: The worst mistake of computer science? (2015) by cultus on Tuesday December 04, 2018 @09:39AM (#18599731)
You can never guarantee you really have 100% test coverage in all scenarios in complex software.
Re:NULL: The worst mistake of computer science? (2015) by pjc50 on Tuesday December 04, 2018 @10:44AM (#18600387)
Indeed. It gets asymptotically more expensive. Whereas a typechecker is a system of tests that's able to "cover" 100% of the code.