From 7e1ba7895f855dad0b1e0105dcafef2e58894145 Mon Sep 17 00:00:00 2001
From: "Tobin C. Harding" <me@tobin.cc>
Date: Sun, 11 Feb 2024 06:58:50 +1100
Subject: [PATCH] Remove broken kani test

This test is failing. I do not want to dive back into kani right now,
just remove it.
---
 bitcoin/src/pow.rs | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/bitcoin/src/pow.rs b/bitcoin/src/pow.rs
index 7af2bb61..198311ed 100644
--- a/bitcoin/src/pow.rs
+++ b/bitcoin/src/pow.rs
@@ -1741,14 +1741,4 @@ mod verification {
 
         let _ = x.mul_u64(y);
     }
-
-    #[kani::unwind(5)]          // Same as above.
-    #[kani::proof]
-    fn check_div_rem() {
-        let x: U256 = kani::any();
-        let y: U256 = kani::any();
-        kani::assume(x < U256::from(u128::MAX) && y < U256::from(u128::MAX) && y != U256::ZERO);
-
-        assert_eq!(x * y / y, x);
-    }
 }