From 51533aa8e3931bc562e888018fa6df14c315d980 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cornell.edu>
Date: Mon, 18 Nov 2024 15:37:00 -0500
Subject: [PATCH] disable mul tests

---
 tests/bitvec_arithmetic.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/bitvec_arithmetic.rs b/tests/bitvec_arithmetic.rs
index a6742bb..5d7d952 100644
--- a/tests/bitvec_arithmetic.rs
+++ b/tests/bitvec_arithmetic.rs
@@ -134,6 +134,7 @@ proptest! {
 
     #[test]
     #[cfg(feature = "bigint")]
+    #[ignore] // multiplication > 64 not supported right now
     fn test_mul((a, b, width) in gen_big_int_pair()) {
         do_test_mul(a, b, width);
     }