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 · 3c8b4d2 · 3c8b4d2
1 parent 274f993
commit 3c8b4d2
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