如何指定@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));
}