From b50700bfe7f3a88dce5dc5df7fe649f5e0d13245 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Wed, 9 Aug 2017 14:00:38 +0200
Subject: [PATCH] make GeneratorTest deterministic to avoid very occasional
 failures

---
 jetCheck/test/jetCheck/GeneratorTest.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<List<Integer>> gen = nonEmptyLists(integers(0, 100));
     Predicate<List<Integer>> 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;