diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-21 10:21:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-21 10:21:34 -0700 |
commit | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (patch) | |
tree | a7c2ab8013f46dbea75fcd6e7da3fb83e2012b2f /src/util/safe_print.h | |
parent | 86aa9bc35ba9dc9a57913a2ffc71619c7657cc35 (diff) |
Goodbye CVC4, hello cvc5! (#6371)
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
Diffstat (limited to 'src/util/safe_print.h')
-rw-r--r-- | src/util/safe_print.h | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/src/util/safe_print.h b/src/util/safe_print.h index ba0704d9c..e3280bb55 100644 --- a/src/util/safe_print.h +++ b/src/util/safe_print.h @@ -43,7 +43,7 @@ #include <cstring> #include <string> -#include "cvc4_export.h" +#include "cvc5_export.h" namespace cvc5 { @@ -52,7 +52,7 @@ namespace cvc5 { * signal handler. */ template <size_t N> -void CVC4_EXPORT safe_print(int fd, const char (&msg)[N]) +void CVC5_EXPORT safe_print(int fd, const char (&msg)[N]) { ssize_t nb = N - 1; if (write(fd, msg, nb) != nb) { @@ -96,7 +96,7 @@ auto toStringImpl(const T& obj, int) -> decltype(toString(obj)) * @param obj The object to print */ template <typename T> -void CVC4_EXPORT safe_print(int fd, const T& obj) +void CVC5_EXPORT safe_print(int fd, const T& obj) { const char* s = toStringImpl(obj, /* prefer the method that uses `toString()` */ 0); @@ -108,25 +108,25 @@ void CVC4_EXPORT safe_print(int fd, const T& obj) } template <> -void CVC4_EXPORT safe_print(int fd, const std::string& msg); +void CVC5_EXPORT safe_print(int fd, const std::string& msg); template <> -void CVC4_EXPORT safe_print(int fd, const int64_t& _i); +void CVC5_EXPORT safe_print(int fd, const int64_t& _i); template <> -void CVC4_EXPORT safe_print(int fd, const int32_t& i); +void CVC5_EXPORT safe_print(int fd, const int32_t& i); template <> -void CVC4_EXPORT safe_print(int fd, const uint64_t& _i); +void CVC5_EXPORT safe_print(int fd, const uint64_t& _i); template <> -void CVC4_EXPORT safe_print(int fd, const uint32_t& i); +void CVC5_EXPORT safe_print(int fd, const uint32_t& i); template <> -void CVC4_EXPORT safe_print(int fd, const double& _d); +void CVC5_EXPORT safe_print(int fd, const double& _d); template <> -void CVC4_EXPORT safe_print(int fd, const float& f); +void CVC5_EXPORT safe_print(int fd, const float& f); template <> -void CVC4_EXPORT safe_print(int fd, const bool& b); +void CVC5_EXPORT safe_print(int fd, const bool& b); template <> -void CVC4_EXPORT safe_print(int fd, void* const& addr); +void CVC5_EXPORT safe_print(int fd, void* const& addr); template <> -void CVC4_EXPORT safe_print(int fd, const timespec& t); +void CVC5_EXPORT safe_print(int fd, const timespec& t); /** Prints an integer in hexadecimal. Safe to use in a signal handler. */ void safe_print_hex(int fd, uint64_t i); |