Oops

sir4ur0n · Apr 30, 2019 · 72c8286 · 72c8286
1 parent 555a3d5
commit 72c8286
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/java/src/test/java/InvariantTest.java b/java/src/test/java/InvariantTest.java
@@ -1,5 +1,7 @@
 import static org.assertj.core.api.Assertions.assertThat;
+import static org.assertj.core.api.Assumptions.assumeThat;
 
+import com.pholser.junit.quickcheck.Property;
 import com.pholser.junit.quickcheck.runner.JUnitQuickcheck;
 import java.time.LocalDate;
 import org.junit.Before;
@@ -16,6 +18,18 @@ public void setUp() {
     cut = new Invariant();
   }
 
+  @Property
+  public void invariant_31_12(short anyYear) {
+    assertThat(cut.isNewYearEve(LocalDate.of(anyYear, 12, 31))).isTrue();
+  }
+
+  @Property(trials = 1000)
+  public void invariant_not_31_12(LocalDate anyDate) {
+    assumeThat(anyDate.getMonthValue() != 12 || anyDate.getDayOfMonth() != 31).isTrue();
+
+    assertThat(cut.isNewYearEve(anyDate)).isFalse();
+  }
+
   @Test
   public void _2018_12_31() {
     assertThat(cut.isNewYearEve(LocalDate.of(2018, 12, 31))).isTrue();