From de97d1af902160b12d85a1938223596b357b0a36 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Tue, 10 Oct 2023 11:38:37 +1100
Subject: [PATCH] run_tests+proof: exclude SimplExportAndRefine for AARCH64

The SimplExportAndRefine session is only needed for binary verification
and is currently failing. There are no plans yet for binary
verification on AArch64, so the session will remain disabled for now.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 run_tests | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/run_tests b/run_tests
index 731b395a68..0921cb0c85 100755
--- a/run_tests
+++ b/run_tests
@@ -81,7 +81,8 @@ EXCLUDE["AARCH64"]=[
     "DSpec",
     "DBaseRefine",
     "CamkesGlueProofs",
-    "AsmRefine"
+    "AsmRefine",
+    "SimplExportAndRefine"
 ]
 
 # Check EXCLUDE is exhaustive over the available architectures