diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2020-12-18 12:09:06 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-02-16 18:37:16 +0000 |
| commit | dbe3e458d3e25fb092a5468a8fe551a6e7486aed (patch) | |
| tree | 7cb59480c8f8e75baf4cd939eacd68d280b8bdb5 | |
| parent | b73c455670c467539a28611be8d30ac421be8441 (diff) | |
| download | klee-dbe3e458d3e25fb092a5468a8fe551a6e7486aed.tar.gz | |
renaming 'libcxx' -> 'libc++'
| -rw-r--r-- | CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/lit.cfg | 2 | ||||
| -rw-r--r-- | tools/klee/main.cpp | 6 |
3 files changed, 5 insertions, 5 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 82652e1a..a37d5f0b 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -562,7 +562,7 @@ else() endif() ################################################################################ -# KLEE libcxx support +# KLEE libc++ support ################################################################################ option(ENABLE_KLEE_LIBCXX "Enable libc++ for klee" OFF) if (ENABLE_KLEE_LIBCXX) diff --git a/test/lit.cfg b/test/lit.cfg index 53112bf9..2133bdbf 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -196,7 +196,7 @@ if config.enable_uclibc: if config.enable_posix_runtime: config.available_features.add('posix-runtime') -# LibC++ runtime feature +# libc++ runtime feature if config.enable_libcxx: config.available_features.add('libcxx') diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index c1270b46..7690d3c7 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1287,15 +1287,15 @@ int main(int argc, char **argv, char **envp) { if (Libcxx) { #ifndef SUPPORT_KLEE_LIBCXX - klee_error("KLEE was not compiled with Libcxx support"); + klee_error("KLEE was not compiled with libc++ support"); #else SmallString<128> LibcxxBC(Opts.LibraryDir); llvm::sys::path::append(LibcxxBC, KLEE_LIBCXX_BC_NAME); if (!klee::loadFile(LibcxxBC.c_str(), mainModule->getContext(), loadedModules, errorMsg)) - klee_error("error loading libcxx '%s': %s", LibcxxBC.c_str(), + klee_error("error loading libc++ '%s': %s", LibcxxBC.c_str(), errorMsg.c_str()); - klee_message("NOTE: Using libcxx : %s", LibcxxBC.c_str()); + klee_message("NOTE: Using libc++ : %s", LibcxxBC.c_str()); #ifdef SUPPORT_KLEE_EH_CXX SmallString<128> EhCxxPath(Opts.LibraryDir); llvm::sys::path::append(EhCxxPath, "libkleeeh-cxx" + opt_suffix + ".bca"); |