[klee-commits] [1496] prints the output directory at startup if not explicitly given

[sbkim at stanford.edu]

Revision: 1496
          http://keeda.stanford.edu/viewvc/viewvc.cgi?view=rev&revision=1496
Author:   sbkim
Date:     2009-03-13 14:06:43 -0700 (Fri, 13 Mar 2009)
Log Message:
-----------
prints the output directory at startup if not explicitly given

Modified Paths:
--------------
    tools/klee/main.cpp

Modified: tools/klee/main.cpp
===================================================================
--- tools/klee/main.cpp	2009-03-13 18:57:01 UTC (rev 1495)
+++ tools/klee/main.cpp	2009-03-13 21:06:43 UTC (rev 1496)
@@ -259,7 +259,9 @@
         break;
       }
     }    
-    
+
+    llvm::cerr << "KLEE: using output directory \"" << dirname << "\"\n";
+
     llvm::sys::Path klee_last(directory);
     klee_last.appendComponent("klee-last");
       
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20090313/2cba3996/attachment.html