提交 94d5b9d4 编写于 作者: Y Yinan Xu

snapshot: print helper information when saving snapshots

上级 8831f6d6
......@@ -40,7 +40,7 @@ long snapshot_compressToFile(uint8_t *ptr, const char *filename, long buf_size)
// assert(bytes_write % sizeof(long) == 0);
}
printf("Write %lu bytes from gz stream in total\n", curr_size);
// printf("Write %lu bytes from gz stream in total\n", curr_size);
delete [] temp_page;
......
......@@ -130,6 +130,7 @@ Emulator::~Emulator() {
#ifdef VM_SAVABLE
if (trapCode != STATE_GOODTRAP && trapCode != STATE_LIMIT_EXCEEDED) {
printf("Saving snapshots to file system. Please wait.\n");
snapshot_slot[0].save();
snapshot_slot[1].save();
printf("Please remove unused snapshots manually\n");
......
......@@ -21,8 +21,8 @@ void VerilatedSaveMem::save() {
assert(fp != NULL);
fwrite(buf, size, 1, fp);
fclose(fp);
} else {
}
else {
saved_filename = saved_filename + ".gz";
// timeval s, e;
// gettimeofday(&s, NULL);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册