From bada7530fb723829230fab35a839ca8bd213018d Mon Sep 17 00:00:00 2001 From: nicoo Date: Mon, 25 May 2020 16:18:16 +0200 Subject: [PATCH] factor::miller_rabin: Add tests --- src/uu/factor/src/miller_rabin.rs | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/src/uu/factor/src/miller_rabin.rs b/src/uu/factor/src/miller_rabin.rs index 63ef70d02..26905b996 100644 --- a/src/uu/factor/src/miller_rabin.rs +++ b/src/uu/factor/src/miller_rabin.rs @@ -88,3 +88,21 @@ pub(crate) fn is_prime(n: u64) -> bool { } .is_prime() } + +#[cfg(test)] +mod tests { + use super::is_prime; + const LARGEST_U64_PRIME: u64 = 0xFFFFFFFFFFFFFFC5; + + #[test] + fn largest_prime() { + assert!(is_prime(LARGEST_U64_PRIME)); + } + + #[test] + fn first_primes() { + use crate::table::{NEXT_PRIME, P_INVS_U64}; + assert!(P_INVS_U64.iter().all(|(p, _, _)| is_prime(*p))); + assert!(is_prime(NEXT_PRIME)); + } +}