Check the mcontrol triggers, no other triggers.

Clear breakpoints so that gdb will not single step

 improvements to debug tests infrastructure to help with triaging process

Add virtual memory synchronization after completing the page tables

Restore $stap and $mstatus after test translate

See https://github.com/riscv/riscv-debug-spec/blob/f510a7dd33317d0eee0f26b4fa082cd43a5ac7ea/Sdtrig.tex#L213-L214

Add bitmanip test cases

Signed-off-by: Roger Chang <rogerycchang@google.com>

Signed-off-by: Roger Chang <rogerycchang@google.com>

Signed-off-by: Roger Chang <rogerycchang@google.com>

Signed-off-by: Roger Chang <rogerycchang@google.com>

Signed-off-by: liangzhen <zhen.liang@spacemit.com>
Change-Id: Iac914aef8080411e6acd9039c4bdfa728533103c

If Svnapot is not implemented, skip the test.

If Svnapot is not implemented, a page fault will occur when accessing a page with napot specified.
In this case, let the test pass.

Signed-off-by: liangzhen <zhen.liang@spacemit.com>
Change-Id: I7a4a24972cfa2ddc307a5f06fe3fd5380794719f

Signed-off-by: liangzhen <zhen.liang@spacemit.com>
Change-Id: Ida1490338d204541c5c7f143aec3b8d79d83d7f4

fixes setting of `remotetimeout`. It was silently overwritten by default
values from platform definition even if user specified one.

introduce a new option to log communications over GDB remote serial
protocol which is helpful for debugging some tests.

Previously the seed was not printed and this created problems with
reproduction of the issues. It's still not an ideal - meaning
interactions between spike/gdb/openocd are inherently non-determistic
(since time is involved), but at least we should get the same sources
for the same seed now.

Uses appropriate addi instruction in lrsc test.

Signed-off-by: liangzhen <zhen.liang@spacemit.com>

debug: use TCL-RPC to fetch results of OpenOCD commands instead of parsing log file

Quick and dirty fix for https://github.com/riscv-software-src/riscv-tests/issues/520

Support limits_icount_to_one in IcountTest

This is taking into account that the hardware limits count to 1.

Signed-off-by: liangzhen <zhen.liang@spacemit.com>

Make the non-existent csr configurable

Make CLINT address configurable

debug: Add UnavailableHaltedTest

Signed-off-by: liangzhen <zhen.liang@spacemit.com>

Signed-off-by: liangzhen <zhen.liang@spacemit.com>

Test behavior when a hart becomes unavailable while halted.

debug: Document that pexpect is needed.

Resolves #510.

Disable timer interrupt to fix some bugs