diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-09 16:14:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-09 23:14:21 +0000 |
commit | 550c49a7dd2b13ea29743458336f0c0a0fb6099a (patch) | |
tree | b06962055a5de77d39c95fc577e54c0d7d69dcfd /test/unit | |
parent | ca7e206c239d8de0f25fb23544e4923641b85d11 (diff) |
Rename CVC4__ header guards to CVC5__. (#6326)
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/memory.h | 6 | ||||
-rw-r--r-- | test/unit/test.h | 4 | ||||
-rw-r--r-- | test/unit/test_api.h | 4 | ||||
-rw-r--r-- | test/unit/test_context.h | 4 | ||||
-rw-r--r-- | test/unit/test_node.h | 4 | ||||
-rw-r--r-- | test/unit/test_smt.h | 4 |
6 files changed, 13 insertions, 13 deletions
diff --git a/test/unit/memory.h b/test/unit/memory.h index f9bdd7851..726404e5e 100644 --- a/test/unit/memory.h +++ b/test/unit/memory.h @@ -29,8 +29,8 @@ #include "test.h" -#ifndef __CVC4__TEST__UNIT__MEMORY_H -#define __CVC4__TEST__UNIT__MEMORY_H +#ifndef __CVC5__TEST__UNIT__MEMORY_H +#define __CVC5__TEST__UNIT__MEMORY_H #include <string> #include <sys/resource.h> @@ -94,4 +94,4 @@ class WithLimitedMemory { #undef CVC4_MEMORY_LIMITING_DISABLED_REASON #endif /* CVC4_MEMORY_LIMITING_DISABLED_REASON */ -#endif /* __CVC4__TEST__MEMORY_H */ +#endif /* __CVC5__TEST__MEMORY_H */ diff --git a/test/unit/test.h b/test/unit/test.h index 11cefc66b..383360302 100644 --- a/test/unit/test.h +++ b/test/unit/test.h @@ -12,8 +12,8 @@ ** \brief Common header for API unit test. **/ -#ifndef CVC4__TEST__UNIT__TEST_H -#define CVC4__TEST__UNIT__TEST_H +#ifndef CVC5__TEST__UNIT__TEST_H +#define CVC5__TEST__UNIT__TEST_H #include "gtest/gtest.h" diff --git a/test/unit/test_api.h b/test/unit/test_api.h index b66dd58bc..be0ef46d0 100644 --- a/test/unit/test_api.h +++ b/test/unit/test_api.h @@ -12,8 +12,8 @@ ** \brief Common header for API unit test. **/ -#ifndef CVC4__TEST__UNIT__TEST_API_H -#define CVC4__TEST__UNIT__TEST_API_H +#ifndef CVC5__TEST__UNIT__TEST_API_H +#define CVC5__TEST__UNIT__TEST_API_H #include "api/cpp/cvc5.h" #include "gtest/gtest.h" diff --git a/test/unit/test_context.h b/test/unit/test_context.h index 0f21b2898..3ab333806 100644 --- a/test/unit/test_context.h +++ b/test/unit/test_context.h @@ -12,8 +12,8 @@ ** \brief Header for context unit tests. **/ -#ifndef CVC4__TEST__UNIT__TEST_CONTEXT_H -#define CVC4__TEST__UNIT__TEST_CONTEXT_H +#ifndef CVC5__TEST__UNIT__TEST_CONTEXT_H +#define CVC5__TEST__UNIT__TEST_CONTEXT_H #include "context/context.h" #include "test.h" diff --git a/test/unit/test_node.h b/test/unit/test_node.h index dacc1f543..ff6ef9b09 100644 --- a/test/unit/test_node.h +++ b/test/unit/test_node.h @@ -12,8 +12,8 @@ ** \brief Common header for Node unit tests. **/ -#ifndef CVC4__TEST__UNIT__TEST_NODE_H -#define CVC4__TEST__UNIT__TEST_NODE_H +#ifndef CVC5__TEST__UNIT__TEST_NODE_H +#define CVC5__TEST__UNIT__TEST_NODE_H #include "expr/node_manager.h" #include "expr/skolem_manager.h" diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h index 425e61bc2..4307fd1ba 100644 --- a/test/unit/test_smt.h +++ b/test/unit/test_smt.h @@ -12,8 +12,8 @@ ** \brief Common header for unit tests that need an SmtEngine. **/ -#ifndef CVC4__TEST__UNIT__TEST_SMT_H -#define CVC4__TEST__UNIT__TEST_SMT_H +#ifndef CVC5__TEST__UNIT__TEST_SMT_H +#define CVC5__TEST__UNIT__TEST_SMT_H #include "expr/dtype_cons.h" #include "expr/node.h" |