Added quickcheck test for stream properties that matches unstable scalacheck test. Increased timeout for TestCheck

mperry · mperry · commit 221c0d6fd9c7 · 2015-06-19T18:55:21.000+10:00
diff --git a/props-core/src/test/java/fj/data/StreamProperties.java b/props-core/src/test/java/fj/data/StreamProperties.java
@@ -0,0 +1,30 @@
+package fj.data;
+
+import fj.Equal;
+import fj.test.Gen;
+import fj.test.Property;
+import fj.test.reflect.CheckParams;
+import fj.test.runner.PropertyTestRunner;
+import org.junit.runner.RunWith;
+
+import static fj.test.Arbitrary.*;
+import static fj.test.Property.prop;
+import static fj.test.Property.property;
+
+/**
+ * Created by MarkPerry on 18/06/2015.
+ */
+@RunWith(PropertyTestRunner.class)
+@CheckParams(maxSize = 10000)
+public class StreamProperties {
+
+    public Property bindStackOverflow() {
+        int max = 5000;
+        return property(arbitrary(Gen.choose(1, max)), (n) -> {
+            Stream<Integer> s1 = Stream.range(1, n);
+            Stream<Integer> s2 = s1.bind(j -> Stream.single(j));
+            return prop(s1.zip(s2).forall(p2 -> Equal.intEqual.eq(p2._1(), p2._2())));
+        });
+     }
+
+}
diff --git a/quickcheck/src/test/java/fj/data/test/TestCheck.java b/quickcheck/src/test/java/fj/data/test/TestCheck.java
@@ -20,7 +20,7 @@
 
 public class TestCheck {
 
-	@Test(timeout=1000 /*ms*/)
+	@Test(timeout=5000 /*ms*/)
 	public void testExceptionsThrownFromGeneratorsArePropagated() {
 		Gen<Integer> failingGen = Gen.<Integer>value(0).map((i) -> {
 			throw new RuntimeException("test failure");
