java - 如何指定@ForAll 非零整数？

Question

如何指定@ForAll非零整数（即既包括正整数又包括负整数，或者0从整数范围中排除）？我从https://jqwik.net/docs/current/user-guide.html#integer-constraints中找不到任何东西。

Answer 1

在我进一步浏览了用户指南之后，我得到@ForAll("nonZeroIntegers") int i了以下工作（但我愿意接受更好的解决方案）：

@Provide
Arbitrary<Integer> nonZeroIntegers() {
    return Arbitraries.oneOf(Arbitraries.integers().greaterOrEqual(1),
                             Arbitraries.integers().lessOrEqual(-1));
}