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

run_tests: enable RISCV64 access control test 

Signed-off-by: Ryan Barry <ryan.barry@unsw.edu.au>
This commit is contained in:
Ryan Barry 2021-07-14 14:49:07 +10:00 committed by Ryan Barry
parent 2c03d8cd27
commit c7cb94f8bf
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
run_tests
View File

@ -55,8 +55,8 @@ EXCLUDE["X64"]=[
]
EXCLUDE["RISCV64"]=[
"Access",
"AutoCorresSEL4",
"InfoFlow",
"DSpec",
"DBaseRefine",
"CamkesDarpaReport",