diff --git a/jetCheck/test/jetCheck/GeneratorTest.java b/jetCheck/test/jetCheck/GeneratorTest.java index da40d3d44074..7f71d293d1f8 100644 --- a/jetCheck/test/jetCheck/GeneratorTest.java +++ b/jetCheck/test/jetCheck/GeneratorTest.java @@ -133,7 +133,7 @@ public class GeneratorTest extends PropertyCheckerTestCase { Generator> gen = nonEmptyLists(integers(0, 100)); Predicate> property = l -> !l.contains(42); - PropertyFailure failure = checkFails(PropertyChecker.forAll(gen), property).getFailure(); + PropertyFailure failure = checkFails(PropertyChecker.forAll(gen).withSeed(1), property).getFailure(); assertTrue(failure.getIterationNumber() > 1); PropertyFalsified e;