diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 641577a2..3d5c459b 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1403,7 +1403,7 @@ int main(int argc, char **argv, char **envp) { handler->getInfoStream() << "KLEE: done: total queries = " << queries << "\n" << "KLEE: done: valid queries = " << queriesValid << "\n" - << "KLEE: done: invalid queriers = " << queriesInvalid << "\n" + << "KLEE: done: invalid queries = " << queriesInvalid << "\n" << "KLEE: done: query cex = " << queryCounterexamples << "\n"; std::stringstream stats; |