From f9744300055b6afcfa9424b6cb7982072018c74a Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 20 Feb 2020 12:56:15 +0000 Subject: [klee-stats] Use the last row inserted instead of the row with highest Instructions Last `Instructions` is not a good identifier to retrieve the correct row. For the default setup, KLEE will generate two entries with the same last instruction. One before clean-up and one after clean-up (i.e. if states are terminated on halt). Using `rowid` will select the last line. --- tools/klee-stats/klee-stats | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 78b7b0cb..f68502f0 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -81,7 +81,7 @@ class LazyEvalList: def getLastRecord(self): try: - cursor = self.conn().execute("SELECT * FROM stats ORDER BY Instructions DESC LIMIT 1") + cursor = self.conn().execute("SELECT * FROM stats ORDER BY rowid DESC LIMIT 1") column_names = [description[0] for description in cursor.description] return dict(zip(column_names, cursor.fetchone())) except sqlite3.OperationalError as e: -- cgit 1.4.1