From 93331eeda33bb6a7540f53ebe1f7b807d247fdd6 Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Thu, 17 Sep 2026 02:19:24 +0000 Subject: [PATCH] Trust diffblue/cbmc tap for Homebrew 6.0+ in run-kani.sh Homebrew 6.0 began refusing to load formulae from untrusted third-party taps, so the pinned Kani's scripts/setup/macos/install_cbmc.sh fails at `brew tap diffblue/cbmc`, leaving CBMC uninstalled and every macOS Kani job broken (e.g. `[Errno 2] No such file or directory: 'cbmc'`). Run `brew trust diffblue/cbmc` before invoking the macOS setup script so CBMC installs regardless of the Kani commit currently pinned. Mirrors the upstream fix model-checking/kani#4785 without requiring a toolchain bump. Guarded with `2>/dev/null || true` for older Homebrew lacking `brew trust`. --- scripts/run-kani.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh index 72c08b984ead9..3fae40a625641 100755 --- a/scripts/run-kani.sh +++ b/scripts/run-kani.sh @@ -162,6 +162,12 @@ build_kani() { if [[ "$os_name" == "Linux" ]]; then ./scripts/setup/ubuntu/install_deps.sh elif [[ "$os_name" == "Darwin" ]]; then + # Homebrew 6.0+ refuses to load formulae from third-party taps + # unless they are explicitly trusted, which breaks the + # `brew tap diffblue/cbmc` in the pinned Kani's install_cbmc.sh. + # Trust the tap first (no-op on older Homebrew). Mirrors + # model-checking/kani#4785. + brew trust diffblue/cbmc 2>/dev/null || true ./scripts/setup/macos/install_deps.sh else echo "Unknown operating system"