Source: bitwuzla Version: 0.8.2-2 Severity: serious Tags: ftbfs patch X-Debbugs-Cc: [email protected] User: [email protected] 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 -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
