diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 48b7109db3cf01ab6e5ccd71c327cfe22a77b30e..e7dde2b29e20aaccd39d151edf592c6dc901b7f5 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -173,6 +173,7 @@ def stop_event(evt):
         """
         # gdb.events.stop.disconnect(stop_event)
         outputdata.append([file_name, task_name, cyccnt, 0, "Finish"])
+        gdb_cyccnt_reset()
 
         if file_index_current < len(file_list) - 1:
             gather_data()