Bug#1143940: bitwuzla FTBFS on the slower riscv64 buildds

[Adrian Bunk]

Source: bitwuzla
Version: 0.8.2-2
Severity: serious
Tags: ftbfs patch
X-Debbugs-Cc: debian-riscv at lists.debian.org
User: debian-riscv at 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