Testing, Testing Tools, Pbt.
and the result of the square is too large for a Java int. @Property public boolean all_int_ranges_are_valid(@ForAll int input){ return NumberUtils.square(input) >= 0; } It’s easy to miss, but jqwik will tell you so: Property [SquarePropertyTest:all int ranges are valid] failed with sample {0=46341}