From c84781c7b7e2345942d27bfe61f19eb60262ed46 Mon Sep 17 00:00:00 2001 From: Michael McInerney Date: Thu, 16 Feb 2023 17:38:02 +1030 Subject: [PATCH] rt runtests: turn on testing for RISCV64 CRefine Signed-off-by: Michael McInerney --- run_tests | 2 -- 1 file changed, 2 deletions(-) diff --git a/run_tests b/run_tests index 38b4ac476d..594657ae74 100755 --- a/run_tests +++ b/run_tests @@ -82,13 +82,11 @@ EXCLUDE["RISCV64"]=[ "RefineOrphanage", "SimplExportAndRefine", "AsmRefine", - "CRefine", "ASepSpec", "Bisim", "SepTactics", "TakeGrant", "Sep_Algebra", - "CBaseRefine", "LibTest" ]