From ba895cf4be4d7dcfc0cc23fabd3afe28e4c3e392 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 26 Feb 2018 10:30:55 +0100
Subject: [PATCH] Fix for when doing a test without claims
The cycle counter needs a reset
---
klee_stm_gdb.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 48b7109..e7dde2b 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()
--
GitLab