diff --git a/testbench/tests.vh b/testbench/tests.vh index f777dbf17..e2292ace4 100644 --- a/testbench/tests.vh +++ b/testbench/tests.vh @@ -53,11 +53,11 @@ string tvpaths[] = '{ "lsu", "vm64check", "pmp", - "tlbKP", "pmpcfg", "pmpcfg1", - "pmpcfg2" - + "pmpcfg2", + "tlbKP", + "ifuCamlineWrite" }; string coremark[] = '{ diff --git a/tests/coverage/pmpcfg.S b/tests/coverage/pmpcfg.S index 387a8a726..74181ab62 100644 --- a/tests/coverage/pmpcfg.S +++ b/tests/coverage/pmpcfg.S @@ -36,4 +36,6 @@ main: li t0, 0x8800 csrw pmpcfg0, t0 - j done \ No newline at end of file + + j done + diff --git a/tests/coverage/priv.S b/tests/coverage/priv.S index 94b7cd0ef..5e187866b 100644 --- a/tests/coverage/priv.S +++ b/tests/coverage/priv.S @@ -189,6 +189,7 @@ main: li t1, -1 csrw mcounteren, t1 + # Go to supervisor mode li a0, 1 ecall