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

runtests: remove obsolete exclusion 

CamkesDarpaReport is not part of the test scope any more.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2021-09-28 10:23:45 +10:00 committed by Gerwin Klein
parent 6cc2692faf
commit 35aab82dbd
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
run_tests
View File

@ -45,7 +45,6 @@ EXCLUDE["ARM"]=[]
EXCLUDE["X64"]=[ EXCLUDE["X64"]=[
"Access", "Access",
"AutoCorresSEL4", "AutoCorresSEL4",
"CamkesDarpaReport",
"CamkesGlueProofs", "CamkesGlueProofs",
"DBaseRefine", "DBaseRefine",
"DSpec", "DSpec",
@ -59,7 +58,6 @@ EXCLUDE["RISCV64"]=[
"InfoFlow", "InfoFlow",
"DSpec", "DSpec",
"DBaseRefine", "DBaseRefine",
"CamkesDarpaReport",
"CamkesGlueProofs", "CamkesGlueProofs",
"AsmRefine" "AsmRefine"
] ]