[From nobody Fri Aug 28 11:07:05 2026
Received: (at submit) by bugs.debian.org; 8 Aug 2026 16:37:13 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
 (2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-112.0 required=4.0 tests=ALL_TRUSTED,BAYES_00,
 DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,
 FROMDEVELOPER,SPF_HELO_NONE,SPF_PASS,USER_IN_DKIM_WELCOMELIST,
 XMAILER_REPORTBUG autolearn=ham autolearn_force=no
 version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 27; hammy, 150; neutral, 64; spammy,
 0. spammytokens:
 hammytokens:0.000-+--Hx-spam-relays-external:sk:stravin,
 0.000-+--H*RT:sk:stravin, 0.000-+--Hx-spam-relays-external:311,
 0.000-+--H*RT:311, 0.000-+--H*RT:108
Return-path: <bunk@debian.org>
Received: from stravinsky.debian.org ([2001:41b8:202:deb::311:108]:50262)
 by buxtehude.debian.org with utf8esmtps
 (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from <bunk@debian.org>) id 1wsk2r-002Uis-1C
 for submit@bugs.debian.org; Sat, 08 Aug 2026 16:37:13 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debian.org; 
 s=smtpauto.stravinsky;
 h=X-Debian-User:Date:Message-ID:Subject:To:From:
 Content-Transfer-Encoding:MIME-Version:Content-Type:Reply-To:Cc:Content-ID:
 Content-Description:In-Reply-To:References;
 bh=lMVuwASOwV5ppzs4+LrYYreLykZjT+JeL26Z3ed90r8=; b=gTfsr9nq+eU12q03WaDnkk/TEu
 A8zErfeyZVsdWVjjhbzNjk320c7yoYmyFCWuRnyhsgrOgG0dbL7GA1bAXgoT7Yvs99i9D80P2RCki
 rBQ9CRINJgkMJSGw2VGl/72Skm9ePAnqTNPAzyeCwAXhwyoqnA+HV3sY/2FoGNNetNU9BurqVBtty
 w83N9vK9/GdGvbTU2+My3bOGRTNrTzL3nGC1odPoou0PP5nyKAbILgVWC3EJ5e8MbQ66lnhmyuK/Q
 Tk4QDeRX2ts5BVmDvIGTINWNB3MMmjHAVG2erPrwzuD2TVS4dIU4dFcjqkiBNqDkOIX7RT9BR+meQ
 gEoyuT9g==;
Received: from authenticated-user by stravinsky.debian.org with utf8esmtpsa
 (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from <bunk@debian.org>) id 1wsk2p-001KhM-2X;
 Sat, 08 Aug 2026 16:37:12 +0000
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Adrian Bunk <bunk@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: bitwuzla FTBFS on the slower riscv64 buildds
Message-ID: <178620703136.574254.10529593497611030048.reportbug@localhost>
X-Mailer: reportbug 13.2.0
Date: Sat, 08 Aug 2026 19:37:11 +0300
X-Debian-User: bunk
Delivered-To: submit@bugs.debian.org

Source: bitwuzla
Version: 0.8.2-2
Severity: serious
Tags: ftbfs patch
X-Debbugs-Cc: debian-riscv@lists.debian.org
User: debian-riscv@lists.debian.org
Usertags: riscv64

https://buildd.debian.org/status/logs.php?pkg=bitwuzla&ver=0.8.2-2&arch=riscv64&suite=sid

...

Summary of Failures:

1164/3936 regress - bitwuzla:solver_bv_problem_130.smt2                            TIMEOUT        120.07s   killed by signal 15 SIGTERM
2638/3936 regress - bitwuzla:solver_bv_problem_130.smt2                            TIMEOUT        120.05s   killed by signal 15 SIGTERM

Ok:                3934
Fail:              0   
Timeout:           2   
dh_auto_test: error: cd obj-riscv64-linux-gnu && DEB_PYTHON_INSTALL_LAYOUT=deb LC_ALL=C.UTF-8 MESON_TESTTHREADS=4 meson test --verbose returned exit code 1
make: *** [debian/rules:7: binary-arch] Error 25


A factor 2 would be sufficient for riscv64, but give it some buffer
in the hope it might also fix hppa.

Note that the timeout only matters for actual test hangs,
passing and even failing tests won't take longer.


--- bitwuzla-0.8.2/debian/rules	2026-07-06 11:31:25.000000000 +0300
+++ bitwuzla-0.8.2/debian/rules	2026-07-06 11:31:25.000000000 +0300
@@ -35,3 +35,6 @@
 execute_after_dh_auto_clean:
 	set -e; for py in $(PY_VERS); do dh_auto_clean -Bbuild-$$py; done
 	$(RM) -rf debian/bin-*
+
+override_dh_auto_test:
+	dh_auto_test -- --timeout-multiplier 5
]