Testing, Testing Tools, Pbt.
void for_every_input_greater_than_125_the_function_throws(@ForAll @IntRange(min = 126) int age) { assertThatThrownBy(() -> calculator.getBenefitInEurosForAge(age)); } @Property public void for_every_input_less_than_zero_the_function_throws(@ForAll @Negative int age) { assertThatThrownBy(() ->