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 11, 2023 · c309169 · c309169
1 parent b137d74
commit c309169
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