Testing, Testing Tools, Pbt.
predictable for a range of input values, we traditionally need only to validate the significant edge cases. If, say, a function that squares an integer returns 25 for 5 and 100 for 10, inputs 6 to 9 are deterministic. 10, -10, and 0 should be enough. Traditional unit testing relies on handpicked