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