diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-31 15:23:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 22:23:17 +0000 |
commit | a1466978fbc328507406d4a121dab4d1a1047e1d (patch) | |
tree | 12b40f161bb4d7a6ee40c20c78a15d6cda3c1995 /test/api | |
parent | f9a9af855fb65804ff0b36e764ccd9d0fa9f87f8 (diff) |
Rename namespace CVC4 to CVC5. (#6249)
Diffstat (limited to 'test/api')
-rw-r--r-- | test/api/boilerplate.cpp | 2 | ||||
-rw-r--r-- | test/api/issue4889.cpp | 2 | ||||
-rw-r--r-- | test/api/issue5074.cpp | 2 | ||||
-rw-r--r-- | test/api/ouroborous.cpp | 6 | ||||
-rw-r--r-- | test/api/reset_assertions.cpp | 2 | ||||
-rw-r--r-- | test/api/sep_log_api.cpp | 2 | ||||
-rw-r--r-- | test/api/smt2_compliance.cpp | 4 | ||||
-rw-r--r-- | test/api/two_solvers.cpp | 2 |
8 files changed, 11 insertions, 11 deletions
diff --git a/test/api/boilerplate.cpp b/test/api/boilerplate.cpp index c98ea3ef7..1dcff036b 100644 --- a/test/api/boilerplate.cpp +++ b/test/api/boilerplate.cpp @@ -21,7 +21,7 @@ #include "api/cvc4cpp.h" -using namespace CVC4::api; +using namespace CVC5::api; using namespace std; int main() { diff --git a/test/api/issue4889.cpp b/test/api/issue4889.cpp index 032984ebc..2f4173d88 100644 --- a/test/api/issue4889.cpp +++ b/test/api/issue4889.cpp @@ -14,7 +14,7 @@ #include "api/cvc4cpp.h" -using namespace CVC4::api; +using namespace CVC5::api; int main() { diff --git a/test/api/issue5074.cpp b/test/api/issue5074.cpp index 1a891251c..d275c3ede 100644 --- a/test/api/issue5074.cpp +++ b/test/api/issue5074.cpp @@ -14,7 +14,7 @@ #include "api/cvc4cpp.h" -using namespace CVC4::api; +using namespace CVC5::api; int main() { diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp index 7b42d6a76..fb4475ca4 100644 --- a/test/api/ouroborous.cpp +++ b/test/api/ouroborous.cpp @@ -34,9 +34,9 @@ #include "parser/parser_builder.h" #include "smt/command.h" -using namespace CVC4; -using namespace CVC4::parser; -using namespace CVC4::language; +using namespace CVC5; +using namespace CVC5::parser; +using namespace CVC5::language; int runTest(); diff --git a/test/api/reset_assertions.cpp b/test/api/reset_assertions.cpp index 6a6574398..30b03a8f8 100644 --- a/test/api/reset_assertions.cpp +++ b/test/api/reset_assertions.cpp @@ -22,7 +22,7 @@ #include "api/cvc4cpp.h" -using namespace CVC4::api; +using namespace CVC5::api; int main() { diff --git a/test/api/sep_log_api.cpp b/test/api/sep_log_api.cpp index e4288f8ed..ab373bf7c 100644 --- a/test/api/sep_log_api.cpp +++ b/test/api/sep_log_api.cpp @@ -24,7 +24,7 @@ #include "api/cvc4cpp.h" -using namespace CVC4::api; +using namespace CVC5::api; using namespace std; /** diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index 223028d4c..8604366ba 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -26,8 +26,8 @@ #include "smt/command.h" #include "smt/smt_engine.h" -using namespace CVC4; -using namespace CVC4::parser; +using namespace CVC5; +using namespace CVC5::parser; using namespace std; void testGetInfo(api::Solver* solver, const char* s); diff --git a/test/api/two_solvers.cpp b/test/api/two_solvers.cpp index b0188353c..d0a05478c 100644 --- a/test/api/two_solvers.cpp +++ b/test/api/two_solvers.cpp @@ -19,7 +19,7 @@ #include "api/cvc4cpp.h" -using namespace CVC4::api; +using namespace CVC5::api; using namespace std; int main() { |