diff --git a/run_tests b/run_tests
index 0b7b02329..a99ffbd0a 100755
--- a/run_tests
+++ b/run_tests
@@ -64,7 +64,6 @@ EXCLUDE["RISCV64"]=[
 EXCLUDE["AARCH64"]=[
     # To be eliminated/refined as development progresses
     "ASepSpec",
-    "CRefine",
     "Access",
 
     # Tools and unrelated content, removed for development