Vavr property testing

Question

Property checking feature is advertised in the latest Vavr documentation along with the following example of its usage:

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

However, as per the library's javadoc, neither Arbitrary generator nor Property type exist.

What am I missing, if any? Is the documentation up to date?

score 4 · Accepted Answer · answered Feb 05 '18 at 18:30

4

Turns out, the following vavr-test dependency was missing, which is not obvious from Vavr documentation:

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

answered Feb 05 '18 at 18:30

Simeon Leyzerzon

18,658
9
54
82

1

Thanks for pointing that out. You can track the issue [here](https://github.com/vavr-io/vavr-docs/issues/39) – Nándor Előd Fekete Feb 05 '18 at 22:58

Vavr property testing

1 Answers1

Linked