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

Isabelle2018: AsmRefine currently only for 32bit platforms

This commit is contained in:
Gerwin Klein 2018-06-30 16:02:52 +02:00
parent 84110bd84a
commit cc387f96dc
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
run_tests
View File

@ -72,7 +72,8 @@ EXCLUDE["X64"]=[
"DBaseRefine", "DBaseRefine",
"DSpec", "DSpec",
"SepTacticsExamples", "SepTacticsExamples",
"SimplExportAndRefine"] "SimplExportAndRefine",
"AsmRefine"]
EXCLUDE["RISCV64"]=[ EXCLUDE["RISCV64"]=[
"ASpec", "ASpec",
@ -81,7 +82,8 @@ EXCLUDE["RISCV64"]=[
"CKernel", "CKernel",
"CSpec", "CSpec",
"CamkesDarpaReport", "CamkesDarpaReport",
"CamkesGlueProofs" "CamkesGlueProofs",
"AsmRefine"
] ]
# Check EXCLUDE is exhaustive over the available architectures # Check EXCLUDE is exhaustive over the available architectures