From 855d33173cae9fd43899a6a96a58f79563560cce Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Fri, 7 Jan 2022 16:09:10 +0000 Subject: stats: rename numQueries/Queries -> SolverQueries, add Queries --- tools/kleaver/main.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/kleaver') diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index 22c23422..eed4e4c9 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -296,7 +296,7 @@ static bool EvaluateInputAST(const char *Filename, delete S; - if (uint64_t queries = *theStatisticManager->getStatisticByName("Queries")) { + if (uint64_t queries = *theStatisticManager->getStatisticByName("SolverQueries")) { llvm::outs() << "--\n" << "total queries = " << queries << '\n' -- cgit 1.4.1