diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-07 17:19:38 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-07 17:19:38 +0000 |
| commit | 5ff59927c677a32bc728462ba00300264c6ad9ae (patch) | |
| tree | d70e3ffad60694fc5c89b7091d5b004c2cbf0ff6 /tools | |
| parent | 16e6ca90c899f716a02aae23511ec729caeebdcb (diff) | |
| download | klee-5ff59927c677a32bc728462ba00300264c6ad9ae.tar.gz | |
Fix typo.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73031 91177308-0d34-0410-b5e6-96231b3b80d8
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; |