emu: udpate SNAPSHOT_INTERVAL

src/test/csrc/emu.cpp

@@ -367,12 +367,12 @@ uint64_t Emulator::execute(uint64_t max_cycle, uint64_t max_instr) {
     }
 #ifdef VM_SAVABLE
     static int snapshot_count = 0;
-    if (args.enable_snapshot && trapCode != STATE_GOODTRAP && t - lasttime_snapshot > 6000 * SNAPSHOT_INTERVAL) {
+    if (args.enable_snapshot && trapCode != STATE_GOODTRAP && t - lasttime_snapshot > 1000 * SNAPSHOT_INTERVAL) {
       // save snapshot every 60s
       time_t now = time(NULL);
       snapshot_save(snapshot_filename(now));
       lasttime_snapshot = t;
-      // dump snapshot to file every 10 minutes
+      // dump one snapshot to file every 60 snapshots
       snapshot_count++;
       if (snapshot_count == 60) {
         snapshot_slot[0].save();

src/test/csrc/emu.h

@@ -4,7 +4,7 @@
 #include <verilated_vcd_c.h>	// Trace file format header
 
 #define DIFFTEST_WIDTH 6
-#define SNAPSHOT_INTERVAL 10 // unit: second
+#define SNAPSHOT_INTERVAL 60 // unit: second
 
 struct EmuArgs {
   uint32_t seed;