From cf0ea9235d27eeca47540ba5fba11acfc7f4d3d3 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Tue, 9 Jun 2009 06:22:35 +0000 Subject: 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 --- 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 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]; -- cgit 1.4.1