GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Add JUnit for quickcheck Bool · functionaljava/functionaljava@b943873

File tree

Expand file treeCollapse file tree
Open diff view settings
Filter options
  • quickcheck/src/test/java/fj/test
    • TestBool.java
Expand file treeCollapse file tree
Open diff view settings
Collapse file

‎quickcheck/src/test/java/fj/test/TestBool.java‎

Copy file name to clipboard
+20Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
package fj.test;
2+
3+
import fj.data.test.PropertyAssert;
4+
import org.junit.Test;
5+
6+
import static fj.test.Arbitrary.arbBoolean;
7+
import static fj.test.Arbitrary.arbitrary;
8+
import static fj.test.Bool.bool;
9+
import static fj.test.Property.property;
10+
11+
public class TestBool {
12+
13+
@Test
14+
public void testBool() {
15+
final Arbitrary<Boolean> arbBooleanR = arbitrary(arbBoolean.gen);
16+
final Property p = property(arbBooleanR, arbBooleanR, (m1, m2) -> bool(m1.equals(m2))
17+
.implies(m1 == m2));
18+
PropertyAssert.assertResult(p);
19+
}
20+
}

0 commit comments

Comments
0 (0)
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.