diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-07 16:09:10 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-23 17:41:08 +0000 |
| commit | 855d33173cae9fd43899a6a96a58f79563560cce (patch) | |
| tree | 5e18fbe9fad5c579659c30c6c5303814412a3c0b /tools | |
| parent | 895f095d3d16472b9443bda60854a3230fc7e974 (diff) | |
| download | klee-855d33173cae9fd43899a6a96a58f79563560cce.tar.gz | |
stats: rename numQueries/Queries -> SolverQueries, add Queries
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/kleaver/main.cpp | 2 | ||||
| -rwxr-xr-x | tools/klee-stats/klee-stats | 5 | ||||
| -rw-r--r-- | tools/klee/main.cpp | 2 |
3 files changed, 5 insertions, 4 deletions
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' diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index be30a0ca..5e49587b 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -50,8 +50,9 @@ Legend = [ ('AvgActiveStates', 'average number of active states', "AvgStates"), ('InhibitedForks', 'number of inhibited state forks due to e.g. memory pressure', "InhibitedForks"), # - constraint caching/solving - ('Queries', 'number of queries issued to the constraint solver', "NumQueries"), - ('QueryConstructs', 'number of query constructs for all queries send to the constraint solver', "NumQueryConstructs"), + ('Queries', 'number of queries issued to the solver chain', "Queries"), + ('SolverQueries', 'number of queries issued to the constraint solver', "SolverQueries"), + ('SolverQueryConstructs', 'number of query constructs for all queries send to the constraint solver', "NumQueryConstructs"), ('AvgSolverQuerySize', 'average number of query constructs per query issued to the constraint solver', "AvgQC"), ('QCacheMisses', 'Query cache misses', "QueryCacheMisses"), ('QCacheHits', 'Query cache hits', "QueryCacheHits"), diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 0b76e904..ddb1faec 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1547,7 +1547,7 @@ int main(int argc, char **argv, char **envp) { delete interpreter; uint64_t queries = - *theStatisticManager->getStatisticByName("Queries"); + *theStatisticManager->getStatisticByName("SolverQueries"); uint64_t queriesValid = *theStatisticManager->getStatisticByName("QueriesValid"); uint64_t queriesInvalid = |