diff options
| -rw-r--r-- | tools/klee/main.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 1bcdedbb..8d9a7c16 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1305,6 +1305,9 @@ int main(int argc, char **argv, char **envp) { loadedModules, errorMsg)) klee_error("error loading libklee-eh-cxx '%s': %s", EhCxxPath.c_str(), errorMsg.c_str()); + klee_message("NOTE: Enabled runtime support for C++ exceptions"); +#else + klee_message("NOTE: KLEE was not compiled with support for C++ exceptions"); #endif #endif } |