From 4cca8a465f1146daaeaafc022ae2c943afc95f45 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 12 Mar 2019 15:55:59 +0000 Subject: Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some reformatting) --- tools/kleaver/main.cpp | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index fd612487..55f7862b 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -84,10 +84,10 @@ static llvm::cl::opt BuilderKind( KLEE_LLVM_CL_VAL_END), llvm::cl::cat(klee::ExprCat)); -llvm::cl::opt directoryToWriteQueryLogs( +llvm::cl::opt DirectoryToWriteQueryLogs( "query-log-dir", llvm::cl::desc( - "The folder to write query logs to (default=current directory "), + "The folder to write query logs to (default=current directory)"), llvm::cl::init("."), llvm::cl::cat(klee::ExprCat)); llvm::cl::opt ClearArrayAfterQuery( @@ -101,10 +101,10 @@ static std::string getQueryLogPath(const char filename[]) { //check directoryToWriteLogs exists struct stat s; - if( !(stat(directoryToWriteQueryLogs.c_str(),&s) == 0 && S_ISDIR(s.st_mode)) ) + if( !(stat(DirectoryToWriteQueryLogs.c_str(),&s) == 0 && S_ISDIR(s.st_mode)) ) { llvm::errs() << "Directory to log queries \"" - << directoryToWriteQueryLogs << "\" does not exist!" + << DirectoryToWriteQueryLogs << "\" does not exist!" << "\n"; exit(1); } @@ -116,14 +116,14 @@ static std::string getQueryLogPath(const char filename[]) ) { llvm::errs() << "Directory to log queries \"" - << directoryToWriteQueryLogs << "\" is not writable!" + << DirectoryToWriteQueryLogs << "\" is not writable!" << "\n"; exit(1); } - std::string path=directoryToWriteQueryLogs; - path+="/"; - path+=filename; + std::string path = DirectoryToWriteQueryLogs; + path += "/"; + path += filename; return path; } -- cgit 1.4.1