From 0a1200bdb8de7b9aff3c0f1bfc918f86f0e1e63c Mon Sep 17 00:00:00 2001 From: nicoo Date: Sat, 4 Jul 2020 20:26:02 +0200 Subject: [PATCH] factor::miller_rabin: Add test for the largest 64b composite numbers --- src/uu/factor/src/miller_rabin.rs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/uu/factor/src/miller_rabin.rs b/src/uu/factor/src/miller_rabin.rs index f909f1ec1..42de3b3c8 100644 --- a/src/uu/factor/src/miller_rabin.rs +++ b/src/uu/factor/src/miller_rabin.rs @@ -121,6 +121,13 @@ mod tests { assert!(is_prime(LARGEST_U64_PRIME)); } + #[test] + fn largest_composites() { + for i in LARGEST_U64_PRIME + 1..=u64::MAX { + assert!(!is_prime(i), "2⁶⁴ - {} reported prime", u64::MAX - i + 1); + } + } + #[test] fn first_primes() { use crate::table::{NEXT_PRIME, P_INVS_U64};