1 files changed, 13 insertions, 5 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index 18c0a691..0cec4222 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -449,6 +449,8 @@ void StatsTracker::writeStatsHeader() {
              << "CexCacheTime INTEGER,"
              << "ForkTime INTEGER,"
              << "ResolveTime INTEGER,"
+             << "QueryCacheMisses INTEGER,"
+             << "QueryCacheHits INTEGER,"
              << "QueryCexCacheMisses INTEGER,"
              << "QueryCexCacheHits INTEGER,"
              << "InhibitedForks INTEGER,"
@@ -483,6 +485,8 @@ void StatsTracker::writeStatsHeader() {
              << "CexCacheTime,"
              << "ForkTime,"
              << "ResolveTime,"
+             << "QueryCacheMisses,"
+             << "QueryCacheHits,"
              << "QueryCexCacheMisses,"
              << "QueryCexCacheHits,"
              << "InhibitedForks,"
@@ -508,6 +512,8 @@ void StatsTracker::writeStatsHeader() {
              << "?,"
              << "?,"
              << "?,"
+             << "?,"
+             << "?,"
              << "? "
          << ')';
 
@@ -538,13 +544,15 @@ void StatsTracker::writeStatsLine() {
   sqlite3_bind_int64(insertStmt, 15, stats::cexCacheTime);
   sqlite3_bind_int64(insertStmt, 16, stats::forkTime);
   sqlite3_bind_int64(insertStmt, 17, stats::resolveTime);
-  sqlite3_bind_int64(insertStmt, 18, stats::queryCexCacheMisses);
-  sqlite3_bind_int64(insertStmt, 19, stats::queryCexCacheHits);
-  sqlite3_bind_int64(insertStmt, 20, stats::inhibitedForks);
+  sqlite3_bind_int64(insertStmt, 18, stats::queryCacheMisses);
+  sqlite3_bind_int64(insertStmt, 19, stats::queryCacheHits);
+  sqlite3_bind_int64(insertStmt, 20, stats::queryCexCacheMisses);
+  sqlite3_bind_int64(insertStmt, 21, stats::queryCexCacheHits);
+  sqlite3_bind_int64(insertStmt, 22, stats::inhibitedForks);
 #ifdef KLEE_ARRAY_DEBUG
-  sqlite3_bind_int64(insertStmt, 21, stats::arrayHashTime);
+  sqlite3_bind_int64(insertStmt, 23, stats::arrayHashTime);
 #else
-  sqlite3_bind_int64(insertStmt, 21, -1LL);
+  sqlite3_bind_int64(insertStmt, 23, -1LL);
 #endif
   int errCode = sqlite3_step(insertStmt);
   if(errCode != SQLITE_DONE) klee_error("Error writing stats data: %s", sqlite3_errmsg(statsFile));