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 <[email protected]>
seL4 · Oct 12, 2023 · 5632323 · 5632323
1 parent 1cce5b3
commit 5632323
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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