You must log in or register to comment.
100% code coverage, integration tests passing. Deploys to prod. NullPointerException at 3am
(╯°□°)╯︵ ┻━┻
There’s nothing to test when your data structure can’t represent an invalid state. So many tests are being basic stuff like checking nil & empty lists; basic ADTs can design you out of that whole host of invalid states. Further, if your language only allows side effects at the edges of the application & data types are immutable, you are way less likely to need all these mock utils or get unexpected changes to your data.
just do everything in Isabelle and prove correctness, ezpz no tests required
Prod involves black magic. You can’t unit test that. Might as well push it.