Java 8 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();

arbitral ints=arbitral.integer（）；
//平方（int）>=0:OK，通过1000次测试。
Property.def（“平方（整数）>=0”）
.forAll（ints）
。例如（i->i*i>=0）
.检查（）
.断言已满足（）；

但是，根据库的定义，

任意

生成器和

属性

类型都不存在

---

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

结果是，缺少以下vavr测试相关性，这在vavr文档中并不明显：

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

io.vavr
vavr试验
0.9.1

谢谢你指出这一点。你可以追踪这个问题