diff options
Diffstat (limited to 'lib/Solver/CexCachingSolver.cpp')
-rw-r--r-- | lib/Solver/CexCachingSolver.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/Solver/CexCachingSolver.cpp b/lib/Solver/CexCachingSolver.cpp index 3d7a754c..497ccb4a 100644 --- a/lib/Solver/CexCachingSolver.cpp +++ b/lib/Solver/CexCachingSolver.cpp @@ -185,13 +185,19 @@ bool CexCachingSolver::lookupAssignment(const Query &query, if (ConstantExpr *CE = dyn_cast<ConstantExpr>(neg)) { if (CE->isFalse()) { result = (Assignment*) 0; + ++stats::queryCexCacheHits; return true; } } else { key.insert(neg); } - return searchForAssignment(key, result); + bool found = searchForAssignment(key, result); + if (found) + ++stats::queryCexCacheHits; + else ++stats::queryCexCacheMisses; + + return found; } bool CexCachingSolver::getAssignment(const Query& query, Assignment *&result) { |