2 ms·

And a good test suite is no replacement for being able to express invariants in your code. They are complementary tools.