Merge pull request #233 from gliptak/coverage2

mperry · mperry · commit 7224221501aa · 2016-06-06T13:46:42.000+10:00
Add JUnit for quickcheck Bool
diff --git a/quickcheck/src/test/java/fj/test/TestBool.java b/quickcheck/src/test/java/fj/test/TestBool.java
@@ -0,0 +1,20 @@
+package fj.test;
+
+import fj.data.test.PropertyAssert;
+import org.junit.Test;
+
+import static fj.test.Arbitrary.arbBoolean;
+import static fj.test.Arbitrary.arbitrary;
+import static fj.test.Bool.bool;
+import static fj.test.Property.property;
+
+public class TestBool {
+
+    @Test
+    public void testBool() {
+        final Arbitrary<Boolean> arbBooleanR = arbitrary(arbBoolean.gen);
+        final Property p = property(arbBooleanR, arbBooleanR, (m1, m2) -> bool(m1.equals(m2))
+                .implies(m1 == m2));
+        PropertyAssert.assertResult(p);
+    }
+}
