From 96c48ebb1ebfb6b319bb1e996ee61d25eae9e786 Mon Sep 17 00:00:00 2001
From: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
Date: Fri, 18 Aug 2023 12:09:46 +1000
Subject: [PATCH] run_tests: enable CBaseRefine for AARCH64

Switch exclusion to CRefine.

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

diff --git a/run_tests b/run_tests
index 8704a934d..731b395a6 100755
--- a/run_tests
+++ b/run_tests
@@ -64,12 +64,10 @@ EXCLUDE["RISCV64"]=[
 EXCLUDE["AARCH64"]=[
     # To be eliminated/refined as development progresses
     "ASepSpec",
-    "CKernel",
-    "CBaseRefine",
+    "CRefine",
     "Access",
 
     # Tools and unrelated content, removed for development
-    "CParser",
     "AutoCorres",
     "CamkesGlueSpec",
     "Sep_Algebra",