Vavr性能测试

Question

在最新的Vavr文档中公布了属性检查功能，并提供了其使用的以下示例：

Arbitrary<Integer> ints = Arbitrary.integer();

// square(int) >= 0: OK, passed 1000 tests.
Property.def("square(int) >= 0")
        .forAll(ints)
        .suchThat(i -> i * i >= 0)
        .check()
        .assertIsSatisfied();

但是，根据库的javadoc，既不存在Arbitrary生成器也不存在Property类型。

我遗漏了什么，如果有的话？文件是最新的吗？

Answer 1

结果，缺少了以下 Vavr -test依赖项，这在Vavr文档中并不明显：

<dependency>
    <groupId>io.vavr</groupId>
    <artifactId>vavr-test</artifactId>
    <version>0.9.1</version>
</dependency>