secc
/
seL4-L4.verified
mirror of https://github.com/seL4/l4v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

run_tests: enable CRefine for AARCH64 

Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
This commit is contained in:
Rafal Kolanski 2023-12-08 17:25:00 +11:00 committed by Gerwin Klein
parent b9d53dd940
commit c351883a5f
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
run_tests
View File

@ -64,7 +64,6 @@ EXCLUDE["RISCV64"]=[
EXCLUDE["AARCH64"]=[ EXCLUDE["AARCH64"]=[
# To be eliminated/refined as development progresses # To be eliminated/refined as development progresses
"ASepSpec", "ASepSpec",
"CRefine",
"Access", "Access",
# Tools and unrelated content, removed for development # Tools and unrelated content, removed for development