rt runtests: turn on testing for RISCV64 CRefine

Signed-off-by: Michael McInerney <[email protected]>
seL4 · Oct 19, 2023 · c84781c · c84781c
1 parent 4d1bd0e
commit c84781c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/run_tests b/run_tests
@@ -82,13 +82,11 @@ EXCLUDE["RISCV64"]=[
     "RefineOrphanage",
     "SimplExportAndRefine",
     "AsmRefine",
-    "CRefine",
     "ASepSpec",
     "Bisim",
     "SepTactics",
     "TakeGrant",
     "Sep_Algebra",
-    "CBaseRefine",
     "LibTest"
 ]