add klee_messages for C++ exception handling support

otherwise, it is hard to tell whether EH support is available or not

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
   }