Examples of fj.test.Property.check()

fj.test.Property.check()
Checks this property using the given arguments and produces a result. @param r The random generator to use for checking. @param minSuccessful The minimum number of successful tests before a result is reached. @param maxDiscarded The maximum number of tests discarded because they did not satisfypre-conditions (i.e. {@link #implies(boolean,P1)}). @param minSize The minimum size to use for checking. @param maxSize The maximum size to use for checking. @return A result after checking this property.

    public void test5() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e) -> {
            P5<Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5());
        });
        summary.println(p.check());
    }


    @Test
    public void test6() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f) -> {

View Full Code Here

    public void test6() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f) -> {
            P6<Integer, Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e, f).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5() && t._6() == t._6());
        });
        summary.println(p.check());
    }


    @Test
    public void test7() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f, g) -> {

View Full Code Here

    public void test7() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f, g) -> {
            P7<Integer, Integer, Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e, f, g).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5() && t._6() == t._6() && t._7() == t._7());
        });
        summary.println(p.check());
    }


    @Test
    public void test8() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f, g, h) -> {

View Full Code Here

  @Test
  public void testShowNullParameters() {
    Property p = property(arbitrary(Gen.<Integer>value(null)), (Integer i) -> {
        return prop(i != null);
    });
    CheckResult.summary.println(p.check());
  }


}

View Full Code Here

    public void test8() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f, g, h) -> {
            P8<Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e, f, g, h).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5() && t._6() == t._6() && t._7() == t._7() && t._8() == t._8());
        });
        summary.println(p.check());
    }


}

View Full Code Here


    Property p = property(arbitrary(failingGen), (Integer i) -> {
      return prop(i == 0);
    });


    CheckResult res = p.check(
      1, /*minSuccessful*/
      0, /*maxDiscarded*/
      0, /*minSize*/
      1 /*maxSize*/
    );

View Full Code Here

0 1

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.