如何指定@ForAll 非零整数？

Question

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

中找不到任何内容

Answer 1

在我滚动 User Guide 多一点之后，我得到了 @ForAll("nonZeroIntegers") int i 以下内容（但我愿意接受更好的解决方案）：

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