diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-07 14:21:00 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-23 17:41:08 +0000 |
| commit | 7b881cd894ce908a4b4e2d2ad89f90e39905905a (patch) | |
| tree | 9435f3efab1d928440e42261ee47044b52b5dd1e /lib | |
| parent | fc3c937892998b984a59cfa740244952ff6071b9 (diff) | |
| download | klee-7b881cd894ce908a4b4e2d2ad89f90e39905905a.tar.gz | |
stats: add QCacheHits/Misses
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 18 |
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)); |