diff --git a/src/test/csrc/verilator/emu.cpp b/src/test/csrc/verilator/emu.cpp
index 14c7ad126557d20a04e1af5339ff6f3c9e4eb500..7ef3d9f348793c2e5f778122b7687837b10a660e 100644
--- a/src/test/csrc/verilator/emu.cpp
+++ b/src/test/csrc/verilator/emu.cpp
@@ -343,7 +343,6 @@ uint64_t Emulator::execute(uint64_t max_cycle, uint64_t max_instr) {
         break;
       }
     }
-    if (trapCode != STATE_RUNNING) break;
 
 #ifdef VM_SAVABLE
     static int snapshot_count = 0;
@@ -625,4 +624,6 @@ void Emulator::snapshot_load(const char *filename) {
   long sdcard_offset = 0;
   stream.read(&sdcard_offset, sizeof(sdcard_offset));
   if(fp)
-    fse
\ No newline at end of file
+    fseek(fp, sdcard_offset, SEEK_SET);
+}
+#endif