|
Property p = property(arbitrary(failingGen), (Integer i) -> {
return prop(i == 0);
});
CheckResult res = p.check(
1, /*minSuccessful*/
0, /*maxDiscarded*/
0, /*minSize*/
1 /*maxSize*/
);
assertTrue("Exception not propagated!", res.isGenException());
}
|