From dbe3e458d3e25fb092a5468a8fe551a6e7486aed Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Fri, 18 Dec 2020 12:09:06 +0100 Subject: renaming 'libcxx' -> 'libc++' --- tools/klee/main.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tools') 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"); -- cgit 1.4.1