diff options
Diffstat (limited to 'src/main/signal_handlers.cpp')
-rw-r--r-- | src/main/signal_handlers.cpp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/main/signal_handlers.cpp b/src/main/signal_handlers.cpp index 1be6a7f35..9a6e34075 100644 --- a/src/main/signal_handlers.cpp +++ b/src/main/signal_handlers.cpp @@ -65,7 +65,7 @@ void print_statistics() void timeout_handler() { - safe_print(STDERR_FILENO, "CVC4 interrupted by timeout.\n"); + safe_print(STDERR_FILENO, "cvc5 interrupted by timeout.\n"); print_statistics(); abort(); } @@ -83,7 +83,7 @@ void timeout_handler(int sig, siginfo_t* info, void*) { timeout_handler(); } /** Handler for SIGTERM. */ void sigterm_handler(int sig, siginfo_t* info, void*) { - safe_print(STDERR_FILENO, "CVC4 interrupted by SIGTERM.\n"); + safe_print(STDERR_FILENO, "cvc5 interrupted by SIGTERM.\n"); print_statistics(); abort(); } @@ -91,7 +91,7 @@ void sigterm_handler(int sig, siginfo_t* info, void*) /** Handler for SIGINT, i.e., when the user hits control C. */ void sigint_handler(int sig, siginfo_t* info, void*) { - safe_print(STDERR_FILENO, "CVC4 interrupted by user.\n"); + safe_print(STDERR_FILENO, "cvc5 interrupted by user.\n"); print_statistics(); abort(); } @@ -103,7 +103,7 @@ void segv_handler(int sig, siginfo_t* info, void* c) uintptr_t extent = reinterpret_cast<uintptr_t>(cvc4StackBase) - cvc4StackSize; uintptr_t addr = reinterpret_cast<uintptr_t>(info->si_addr); #ifdef CVC5_DEBUG - safe_print(STDERR_FILENO, "CVC4 suffered a segfault in DEBUG mode.\n"); + safe_print(STDERR_FILENO, "cvc5 suffered a segfault in DEBUG mode.\n"); safe_print(STDERR_FILENO, "Offending address is "); safe_print(STDERR_FILENO, info->si_addr); safe_print(STDERR_FILENO, "\n"); @@ -148,7 +148,7 @@ void segv_handler(int sig, siginfo_t* info, void* c) } } #else /* CVC5_DEBUG */ - safe_print(STDERR_FILENO, "CVC4 suffered a segfault.\n"); + safe_print(STDERR_FILENO, "cvc5 suffered a segfault.\n"); safe_print(STDERR_FILENO, "Offending address is "); safe_print(STDERR_FILENO, info->si_addr); safe_print(STDERR_FILENO, "\n"); @@ -175,7 +175,7 @@ void ill_handler(int sig, siginfo_t* info, void*) { #ifdef CVC5_DEBUG safe_print(STDERR_FILENO, - "CVC4 executed an illegal instruction in DEBUG mode.\n"); + "cvc5 executed an illegal instruction in DEBUG mode.\n"); if (!segvSpin) { print_statistics(); @@ -201,7 +201,7 @@ void ill_handler(int sig, siginfo_t* info, void*) } } #else /* CVC5_DEBUG */ - safe_print(STDERR_FILENO, "CVC4 executed an illegal instruction.\n"); + safe_print(STDERR_FILENO, "cvc5 executed an illegal instruction.\n"); print_statistics(); abort(); #endif /* CVC5_DEBUG */ @@ -221,14 +221,14 @@ void cvc4terminate() safe_print(STDERR_FILENO, "\n" - "CVC4 was terminated by the C++ runtime.\n" + "cvc5 was terminated by the C++ runtime.\n" "Perhaps an exception was thrown during stack unwinding. " "(Don't do that.)\n"); print_statistics(); default_terminator(); #else /* CVC5_DEBUG */ safe_print(STDERR_FILENO, - "CVC4 was terminated by the C++ runtime.\n" + "cvc5 was terminated by the C++ runtime.\n" "Perhaps an exception was thrown during stack unwinding.\n"); print_statistics(); default_terminator(); |