From 1e4d824829a8506f13558dd901d8e6b7d4f2204a Mon Sep 17 00:00:00 2001
From: nicoo <nicoo@debian.org>
Date: Sat, 4 Jul 2020 20:38:58 +0200
Subject: [PATCH] factor::miller_rabin: Add negative test over all small
 composites

---
 src/uu/factor/src/miller_rabin.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/uu/factor/src/miller_rabin.rs b/src/uu/factor/src/miller_rabin.rs
index e26f3be09..b1e969cd2 100644
--- a/src/uu/factor/src/miller_rabin.rs
+++ b/src/uu/factor/src/miller_rabin.rs
@@ -143,6 +143,18 @@ mod tests {
         }
     }
 
+    #[test]
+    fn first_composites() {
+        assert!(!is_prime(0));
+        assert!(!is_prime(1));
+
+        for (p, q) in primes().zip(primes().skip(1)) {
+            for i in p + 1..q {
+                assert!(!is_prime(i), "{} reported prime", i);
+            }
+        }
+    }
+
     #[test]
     fn issue_1556() {
         // 10 425 511 = 2441 × 4271