From 2231e3f73400abd97296e570bbb1c85f97983e64 Mon Sep 17 00:00:00 2001
From: Fredrik Dahlgren <fredrik.dahlgren@trailofbits.com>
Date: Fri, 26 Jun 2026 16:39:38 +0200
Subject: [PATCH] Fail HOL-Light tests on unsupported arch

---
 scripts/tests | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/scripts/tests b/scripts/tests
index 14360b2cf..dbb063e0f 100755
--- a/scripts/tests
+++ b/scripts/tests
@@ -1049,12 +1049,14 @@ class Tests:
         self.check_fail()
 
     def hol_light(self):
-        if platform.machine().lower() in ["arm64", "aarch64"]:
+        machine = platform.machine().lower()
+        if machine in ["arm64", "aarch64"]:
             arch = "aarch64"
-        elif platform.machine().lower() in ["x86_64"]:
+        elif machine in ["x86_64"]:
             arch = "x86_64"
         else:
-            return
+            self.fail(f"HOL-Light unsupported architecture: {machine}")
+            self.check_fail()
 
         def list_proofs(arch):
             cmd_str = ["./proofs/hol_light/" + arch + "/list_proofs.sh"]