RGBCube/uutils-coreutils
1
Fork 0
mirror of https://github.com/RGBCube/uutils-coreutils synced 2025-07-29 12:07:46 +00:00
Code Issues Activity

tests ~ (sub-crate/factor) add tests for known prior factorization failures

Browse source
This commit is contained in:
Roy Ivy III 2020-10-07 22:59:44 -05:00
parent 2615abe9cc
commit 8593b4c46c
1 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

22
src/uu/factor/src/factor.rs
View file

@ -224,6 +224,19 @@ mod tests {
use super::{factor, Factors};
use quickcheck::quickcheck;
#[test]
fn factor_correctly_recombines_prior_test_failures() {
let prior_failures = [
// * integers with duplicate factors (ie, N.pow(M))
4566769_u64, // == 2137.pow(2)
2044854919485649_u64,
18446739546814299361_u64,
18446738440860217487_u64,
18446736729316206481_u64,
];
assert!(prior_failures.iter().all(|i| factor(*i).product() == *i));
}
#[test]
fn factor_recombines_small() {
assert!((1..10_000)
@ -231,6 +244,15 @@ mod tests {
.all(|i| factor(i).product() == i));
}
#[test]
fn factor_recombines_small_squares() {
// factor(18446736729316206481) == 4294966441 ** 2 ; causes debug_assert fault for repeated decomposition factor in add()
// ToDO: explain/combine with factor_18446736729316206481 and factor_18446739546814299361 tests
assert!((1..10_000)
.map(|i| (2 * i + 1) * (2 * i + 1))
.all(|i| factor(i).product() == i));
}
#[test]
fn factor_recombines_overflowing() {
assert!((0..250)