Testing, Testing Tools, Pbt.
calculator.getBenefitInEurosForAge(age)); } @Property public boolean any_input_between_0_and_17_returns_0(@ForAll @IntRange(max = 17) int age) { return calculator.getBenefitInEurosForAge(age) == 0; } @Property public boolean any_input_between_18_and_125_returns_200(@ForAll @IntRange(min = 18, max =