Addition_properties_with_vavr_test.java

public class Addition_properties_with_vavr_test {

    private final int size = 10_000, tries = 100;

    @Test
    public void commutative() {
        Property.def("Addition is commutative")
                .forAll(Arbitrary.integer(), Arbitrary.integer())
                .suchThat((x, y) -> Calculator.add(x, y) == Calculator.add(y, x))
                .check(size, tries)
                .assertIsSatisfied();
    }

    @Test
    public void associative() {
        Property.def("Addition is associative")
                .forAll(Arbitrary.integer())
                .suchThat(x -> Calculator.add(Calculator.add(x, 1), 1) == Calculator.add(x, 2))
                .check(size, tries)
                .assertIsSatisfied();
    }

    @Test
    public void identity() {
        Property.def("0 is the identity")
                .forAll(Arbitrary.integer())
                .suchThat((x) -> Calculator.add(x, 0) == x)
                .check(size, tries)
                .assertIsSatisfied();
    }
}