Merge pull request #75 from davidharrishmc/dev

E154 lab 2
This commit is contained in:
David Harris 2023-02-09 18:28:56 -08:00 committed by GitHub
commit 799bf20a6b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
15 changed files with 3 additions and 0 deletions

View file

@ -14,4 +14,7 @@ rvtest_entry_point:
RVMODEL_BOOT
RVTEST_CODE_BEGIN
RVTEST_CASE(0,"//check ISA:=regex(.*64.*);check ISA:=regex(.*I.*);def TEST_CASE_1=True;",temp)
RVTEST_SIGBASE( x6, wally_signature)