From 0794e0a4275b71f948e5a9f8350b9ce33c324065 Mon Sep 17 00:00:00 2001
From: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
Date: Wed, 3 May 2023 17:37:51 +1000
Subject: [PATCH] run_tests: enable BaseRefine for AARCH64

Switch exclusion to Refine.

Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
---
 run_tests | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run_tests b/run_tests
index 639e9fb59..c835a125a 100755
--- a/run_tests
+++ b/run_tests
@@ -65,7 +65,7 @@ EXCLUDE["AARCH64"]=[
     # To be eliminated/refined as development progresses
     "ASepSpec",
     "CKernel",
-    "BaseRefine",
+    "Refine",
     "Access",
 
     # Tools and unrelated content, removed for development