Testing, Testing Tools, Pbt.
is because the test is strictly correct. The parameters 17 and 18 of the edge case still hold. But it tacitly suggests that every valid age over 18 yields the same output, and that is no longer true. 17 and 18 are no longer the whole truth. The test turns a blind eye to numbers 40 and 65, which