diff --git a/uint/tests/uint_tests.rs b/uint/tests/uint_tests.rs index ebf02a283..54d168ca0 100644 --- a/uint/tests/uint_tests.rs +++ b/uint/tests/uint_tests.rs @@ -1201,18 +1201,6 @@ pub mod laws { } } - quickcheck! { - fn div_mod_by_knuth_matches_long_div(x: $uint_ty, y: $uint_ty) -> TestResult { - if y.is_zero() { - return TestResult::discard(); - } - - TestResult::from_bool( - (x / y, x % y) == x.div_mod(y) - ) - } - } - quickcheck! { fn rem_decreases_divisor(x: $uint_ty, y: $uint_ty) -> TestResult { if y.is_zero() {