about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2015-04-15 21:55:49 +0100
committerDan Liew <daniel.liew@imperial.ac.uk>2015-04-25 13:36:49 +0100
commit40d32b2957993da14b32f26697f47b81bc6c0fcb (patch)
tree683812f6b403ec4636a7c4a539a22a604eed9051 /tools
parent9719cddc90bb276b5306baafea9f0bd684ce0b91 (diff)
downloadklee-40d32b2957993da14b32f26697f47b81bc6c0fcb.tar.gz
Remove dead STP logging code.
Diffstat (limited to 'tools')
-rw-r--r--tools/klee/main.cpp10
1 files changed, 1 insertions, 9 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index dc9cacc1..2cb9537b 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -619,10 +619,6 @@ std::string KleeHandler::getRunTimeLibraryPath(const char *argv0) {
 //===----------------------------------------------------------------------===//
 // main Driver function
 //
-#if ENABLE_STPLOG == 1
-extern "C" void STPLOG_init(const char *);
-#endif
-
 static std::string strip(std::string &in) {
   unsigned len = in.size();
   unsigned lead = 0, trail = len;
@@ -1145,11 +1141,7 @@ static llvm::Module *linkWithUclibc(llvm::Module *mainModule, StringRef libDir)
 }
 #endif
 
-int main(int argc, char **argv, char **envp) {  
-#if ENABLE_STPLOG == 1
-  STPLOG_init("stplog.c");
-#endif
-
+int main(int argc, char **argv, char **envp) {
   atexit(llvm_shutdown);  // Call llvm_shutdown() on exit.
 
   llvm::InitializeNativeTarget();