run_tests: enable CBaseRefine for AARCH64
Switch exclusion to CRefine. Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
This commit is contained in:
parent
2f6771cb50
commit
ab7fdfeebe
|
@ -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",
|
||||
|
|
Loading…
Reference in New Issue