test(leap-year): test property years not divisible by 4 are not leap …

…years
codurance · Jul 29, 2024 · 5ed8b3e · 5ed8b3e
1 parent ed4a178
commit 5ed8b3e
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/leap-year-our-solution/src/test/java/com/codurance/YearProperties.java b/leap-year-our-solution/src/test/java/com/codurance/YearProperties.java
@@ -29,6 +29,18 @@ public void yearsDivisibleBy4And100ButNot400AreNotLeapYears(@ForAll("yearsDivisi
         assertThat(year).isNotLeap();
     }
 
+    @Property
+    public void yearsNotDivisibleBy4AreNotLeapYears(@ForAll @Positive int yearsNotDivisibleBy4) {
+        Assume.that(isNotDivisibleBy4(yearsNotDivisibleBy4));
+        Year year = new Year(yearsNotDivisibleBy4);
+
+        assertThat(year).isNotLeap();
+    }
+
+    private static boolean isNotDivisibleBy4(int yearsNotDivisibleBy4) {
+        return yearsNotDivisibleBy4 % 4 != 0;
+    }
+
     @Provide
     private Arbitrary<Integer> yearsDivisibleBy400() {
         return Arbitraries.integers().between(1, 10000).map(year -> year * 400);