diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 14:10:29 +0000 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 14:14:45 +0000 |
commit | fd0c6614ec5eb93fb00de029a79de4247511d0ef (patch) | |
tree | c40139cc13bf4abf2c84f7d5d8c4c9d2b4157e34 | |
parent | 3c49bee67765e3b58ff5cfd2dcc26568509e275b (diff) | |
download | klee-fd0c6614ec5eb93fb00de029a79de4247511d0ef.tar.gz |
When running with -debug-only=klee_linker do not report the number
of modules left because this information is no longer correct (we no longer shrink the vector).
-rw-r--r-- | lib/Module/ModuleUtil.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 349defb3..58096de4 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -327,8 +327,7 @@ static bool linkBCA(object::Archive* archive, Module* composite, std::string& er passCounter++; DEBUG_WITH_TYPE("klee_linker", dbgs() << "Completed " << passCounter << " linker passes.\n" << modulesLoadedOnPass << - " modules loaded on the last pass\n" << - archiveModules.size() << " modules left.\n"); + " modules loaded on the last pass\n"); } while (undefinedSymbols != previouslyUndefinedSymbols); // Iterate until we reach a fixed point |