diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-12 15:55:59 +0000 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-13 10:25:33 +0000 |
commit | 4cca8a465f1146daaeaafc022ae2c943afc95f45 (patch) | |
tree | 7309c0ff257363ebe7b6ac0b10e7a622e15b7e4a /tools | |
parent | bf008fc9da20f67803cbae7504e85b17f038579b (diff) | |
download | klee-4cca8a465f1146daaeaafc022ae2c943afc95f45.tar.gz |
Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some reformatting)
Diffstat (limited to 'tools')
-rw-r--r-- | tools/kleaver/main.cpp | 16 |
1 files 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<BuilderKinds> BuilderKind( KLEE_LLVM_CL_VAL_END), llvm::cl::cat(klee::ExprCat)); -llvm::cl::opt<std::string> directoryToWriteQueryLogs( +llvm::cl::opt<std::string> 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<bool> 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; } |