adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

run_tests: enable CBaseRefine for AARCH64 

Switch exclusion to CRefine.

Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
This commit is contained in:
Rafal Kolanski 2023-08-18 12:09:46 +10:00 committed by Achim D. Brucker
parent febf5312f2
commit e67513b920
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
run_tests
View File

@ -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",