From 86f275aed2552389c45c2599e5579c63eadc5392 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Sun, 31 Dec 2017 18:05:09 +0100
Subject: [PATCH] jetCheck: extract ShrinkTest

---
 jetCheck/test/jetCheck/GeneratorTest.java | 16 ------------
 jetCheck/test/jetCheck/ShrinkTest.java    | 30 +++++++++++++++++++++++
 2 files changed, 30 insertions(+), 16 deletions(-)
 create mode 100644 jetCheck/test/jetCheck/ShrinkTest.java

diff --git a/jetCheck/test/jetCheck/GeneratorTest.java b/jetCheck/test/jetCheck/GeneratorTest.java
index 305b54f6ae60..85bbcf40c1f9 100644
--- a/jetCheck/test/jetCheck/GeneratorTest.java
+++ b/jetCheck/test/jetCheck/GeneratorTest.java
@@ -119,13 +119,6 @@ public class GeneratorTest extends PropertyCheckerTestCase {
     assertEquals(2, list.size());
   }
 
-  public void testShrinkingNonEmptyList() {
-    List<Integer> list = checkGeneratesExample(nonEmptyLists(integers(0, 100)),
-                                               l -> l.contains(42),
-                                               12);
-    assertEquals(1, list.size());
-  }
-
   public void testRecheckWithGivenSeeds() {
     Generator<List<Integer>> gen = nonEmptyLists(integers(0, 100));
     Predicate<List<Integer>> property = l -> !l.contains(42);
@@ -142,15 +135,6 @@ public class GeneratorTest extends PropertyCheckerTestCase {
     assertEquals(failure.getIterationNumber(), e.getFailure().getIterationNumber());
   }
 
-  public void testShrinkingComplexString() {
-    checkFalsified(listsOf(stringsOf(asciiPrintableChars())),
-                   l -> {
-                     String s = l.toString();
-                     return !"abcdefghijklmnopqrstuvwxyz()[]#!".chars().allMatch(c -> s.indexOf((char)c) >= 0);
-                   },
-                   225);
-  }
-
   public void testSameFrequency() {
     checkFalsified(listsOf(frequency(1, constant(1), 1, constant(2))),
                    l -> !l.contains(1) || !l.contains(2),
diff --git a/jetCheck/test/jetCheck/ShrinkTest.java b/jetCheck/test/jetCheck/ShrinkTest.java
new file mode 100644
index 000000000000..e87884a6d191
--- /dev/null
+++ b/jetCheck/test/jetCheck/ShrinkTest.java
@@ -0,0 +1,30 @@
+/*
+ * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+ */
+package jetCheck;
+
+import java.util.List;
+
+import static jetCheck.Generator.*;
+
+/**
+ * @author peter
+ */
+public class ShrinkTest extends PropertyCheckerTestCase {
+  public void testShrinkingComplexString() {
+    checkFalsified(listsOf(stringsOf(asciiPrintableChars())),
+                   l -> {
+                     String s = l.toString();
+                     return !"abcdefghijklmnopqrstuvwxyz()[]#!".chars().allMatch(c -> s.indexOf((char)c) >= 0);
+                   },
+                   225);
+  }
+
+  public void testShrinkingNonEmptyList() {
+    List<Integer> list = checkGeneratesExample(nonEmptyLists(integers(0, 100)),
+                                               l -> l.contains(42),
+                                               12);
+    assertEquals(1, list.size());
+  }
+
+}