Testing, Testing Tools, Pbt.
exhausted. All this checking seems excessive. There’s no scenario between 18 and 125 after all where the code would suddenly behave differently. But on a point of principle: traditional unit tests do not (in)validate properties, they only check handpicked examples. Suppose we augment the logic and