Switch Array* print-outs to use name instead of ID, and update a few

constructors I missed.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73127 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 1 insertions, 1 deletions

diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index a575c086..fca83905 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -171,7 +171,7 @@ static bool EvaluateInputAST(const char *Filename,
 
           for (unsigned i = 0, e = result.size(); i != e; ++i) {
             llvm::cout << "\tArray " << i << ":\t"
-                       << "arr" << QC->Objects[i]->id
+                       << QC->Objects[i]->name
                        << "[";
             for (unsigned j = 0; j != QC->Objects[i]->size; ++j) {
               llvm::cout << (unsigned) result[i][j];