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

We believe that the bug you reported is fixed in the latest version of
bitwuzla, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1143940@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Gábor Németh <homar@riseup.net> (supplier of updated bitwuzla package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Mon, 17 Aug 2026 14:45:22 +0200
Source: bitwuzla
Architecture: source
Version: 0.8.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Gábor Németh <homar@riseup.net>
Closes: 1143940
Changes:
 bitwuzla (0.8.2-4) unstable; urgency=medium
 .
   * Allow tests more time on some archs (Closes: #1143940)
     with thanks to Adrian Bunk for the patch
Checksums-Sha1:
 b5d8a1605ca1dbf2fd3ba40478320d9b4617a909 2535 bitwuzla_0.8.2-4.dsc
 e5d4e76066292915540eee65dc0369ac6597c145 4724 bitwuzla_0.8.2-4.debian.tar.xz
 9436c28e93455adfa891bcce1d684b630c1a284b 12837 bitwuzla_0.8.2-4_amd64.buildinfo
Checksums-Sha256:
 345da80c3bc6b2793cde878c3d1a3064fd0b38600bb738b39a5c46ca670bc056 2535 bitwuzla_0.8.2-4.dsc
 7f15db2f6b1b0fab51104187f9c86c99ef34f9b8cbd02906183d7b5ed0ceb90b 4724 bitwuzla_0.8.2-4.debian.tar.xz
 c3355ae16dde6366f7e74188e478dc5f7184f403b7492173b41930279812ee35 12837 bitwuzla_0.8.2-4_amd64.buildinfo
Files:
 1bdf7c560da386f11e8b0727bab7f69f 2535 science optional bitwuzla_0.8.2-4.dsc
 8b4b4c54a570411e01bfcfc06a83551f 4724 science optional bitwuzla_0.8.2-4.debian.tar.xz
 831dfc560538d3e01dc176a7e3aaa89e 12837 science optional bitwuzla_0.8.2-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmqRWDYRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEmVA//S3XbxjK190ZUtlZV3jJeprHeE/nZAwec
SG2LehbN8vxvXuwX5GTk7moEcPx95BNHmk9HnrbN4h2mJKdvC+u388AL4J670XaC
jNdftUS63y+/jNRQtqmASMttzbxo47qg1E/7NGSxNcfZ/ewuHyXuwHolbKrSUzwH
nSE1WbJX3laEZ9u7U7f23SImArk1ZQzdhBnJANe8QVwX/BI3qh16zFqoikWcR1Os
imyvBzX5YgBF9SanLjETbUZ7QhjLoIDXdVnbE+LCm9wV9fthDgpMMEgaGa/arGNa
XIzGwZ4Dn4Dw2kwLN/iH2Pap3XrPZ3+WqqepYn9qHeVnt/RUi6lB7OXmLYB/QxR7
MV/9PXMaQQFJ4vYHBNQhcRM4gMfcbvdkdN/jvRRQt09RwbJZmyYrH7xPv1oIKcPH
LHaFu2gFFUoeNNBnLFwW1ugZjbN43u7kgRBwmUjLfAaP56W93rX/QcWwYMmkUlIs
fvlaIXJ1unY6N7TSshK6wm4m2Nlq5L+sXFvu2GaPDC2lcbJ//aSvcjcarw6tPsNg
ux8MMkQgVNFXI+HGepajb3BhPwQUBV4fZWSCDL4Ly1ip3Xv6fC2kSrRcO4rcbszq
fkbLSNPzYJIw3iHgR4JRbIoHhA8Qnvassl7ZDetSwxpALDVBG+eiFuI1kFHCWASD
NAQYRiB3hEU=
=dEU2
-----END PGP SIGNATURE-----