Skip to content

Commit

Permalink
uint: remove quickcheck for div_mod (no longer relevant)
Browse files Browse the repository at this point in the history
  • Loading branch information
ordian committed May 4, 2019
1 parent 30d89bd commit 254ccd0
Showing 1 changed file with 0 additions and 12 deletions.
12 changes: 0 additions & 12 deletions uint/tests/uint_tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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() {
Expand Down

0 comments on commit 254ccd0

Please sign in to comment.