about summary refs log tree commit diff homepage
path: root/lib/Solver
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2020-03-19 17:42:05 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-04-08 10:13:20 +0100
commit5918152b52b5f9a4470834a97091308df69cdc67 (patch)
treed6296b8c3005e22a136974e10453c5f9b9d086e6 /lib/Solver
parent18d8d063ae42f56bfc3995ec2593eaf9d59b8209 (diff)
downloadklee-5918152b52b5f9a4470834a97091308df69cdc67.tar.gz
stats: remove queryConstructTime (unused)
Diffstat (limited to 'lib/Solver')
-rw-r--r--lib/Solver/SolverStats.cpp1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/Solver/SolverStats.cpp b/lib/Solver/SolverStats.cpp
index 841bfc60..f4ad5192 100644
--- a/lib/Solver/SolverStats.cpp
+++ b/lib/Solver/SolverStats.cpp
@@ -19,7 +19,6 @@ Statistic stats::queryCacheHits("QueryCacheHits", "QChits") ;
 Statistic stats::queryCacheMisses("QueryCacheMisses", "QCmisses");
 Statistic stats::queryCexCacheHits("QueryCexCacheHits", "QCexHits") ;
 Statistic stats::queryCexCacheMisses("QueryCexCacheMisses", "QCexMisses");
-Statistic stats::queryConstructTime("QueryConstructTime", "QBtime") ;
 Statistic stats::queryConstructs("QueriesConstructs", "QB");
 Statistic stats::queryCounterexamples("QueriesCEX", "Qcex");
 Statistic stats::queryTime("QueryTime", "Qtime");