From 254ccd0c48ba4db1426c0f3209ed001f0c89dc30 Mon Sep 17 00:00:00 2001
From: Andronik Ordian <write@reusable.software>
Date: Sat, 4 May 2019 15:09:00 +0200
Subject: [PATCH] uint: remove quickcheck for div_mod (no longer relevant)

---
 uint/tests/uint_tests.rs | 12 ------------
 1 file changed, 12 deletions(-)

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() {