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

run_tests+proof: exclude SimplExportAndRefine for AARCH64 

The SimplExportAndRefine session is only needed for binary verification
and is currently failing. There are no plans yet for binary
verification on AArch64, so the session will remain disabled for now.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-10-10 11:38:37 +11:00 committed by Achim D. Brucker
parent 5a5e5e363d
commit ec1f38c8bc
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
run_tests
View File

@ -81,7 +81,8 @@ EXCLUDE["AARCH64"]=[
"DSpec",
"DBaseRefine",
"CamkesGlueProofs",
"AsmRefine"
"AsmRefine",
"SimplExportAndRefine"
]
# Check EXCLUDE is exhaustive over the available architectures