From 867b6af1757851c196ca49cdd540a062e07b95a7 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 30 Sep 2026 08:07:05 +0000 Subject: [PATCH] Raise the harness timeout of the cargo_autoharness_fmt_impls test On the macOS x86_64 CI runners (`regression (macos-15-intel)`), the `LowerExp`, `UpperExp` and `Pointer` harnesses of this test take 40-60s, right at `kani autoharness`'s default `--harness-timeout` of 60s. When one of them times out, its expected `Failed Checks:` line is missing and the test fails. In 33 failing macos-15-intel regression jobs between 2026-09-28 and 2026-09-30, this test failed every time, with 1-3 of those harnesses timing out; in 32 of them it was the only failing test (in the other, `cargo_autoharness_wtf8`'s `len` harness also timed out, at 5m). Locally the three harnesses take about 10s, and a 3s timeout reproduces the failure exactly. Pass `--harness-timeout 5m`, as the other autoharness tests do. Co-authored-by: Kiro --- .../cargo_autoharness_fmt_impls/fmt-impls.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tests/script-based-pre/cargo_autoharness_fmt_impls/fmt-impls.sh b/tests/script-based-pre/cargo_autoharness_fmt_impls/fmt-impls.sh index 65f949b65ad3..0e752169a126 100755 --- a/tests/script-based-pre/cargo_autoharness_fmt_impls/fmt-impls.sh +++ b/tests/script-based-pre/cargo_autoharness_fmt_impls/fmt-impls.sh @@ -2,4 +2,7 @@ # Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT -cargo kani autoharness -Z autoharness -Z function-contracts +# Raise the harness timeout above autoharness's 60s default, like the other autoharness tests: on +# the macOS x86_64 CI runners the `LowerExp`, `UpperExp` and `Pointer` harnesses take 40-60s and +# often hit the default, which makes their expected failures time out instead. +cargo kani autoharness -Z autoharness -Z function-contracts -Z unstable-options --harness-timeout 5m