未验证 提交 7ebd1b2c 编写于 作者: Y Yinan Xu 提交者: GitHub

vcs,main: exit on assertion and difftest failures (#806)

上级 2bd5334d
......@@ -21,7 +21,8 @@ extern "C" void simv_init() {
}
extern "C" void simv_step() {
if (difftest_step()) {
if (assert_count > 0 || difftest_step()) {
printf("Difftest error\n");
exit(1);
}
}
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册