diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-01 09:56:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-01 16:56:14 +0000 |
commit | 05a53a2ac405bcd18a84024247145f161809c3b0 (patch) | |
tree | 34241c0a82f79d717ddbfbb0c294f9a09c7edb0c /test/api | |
parent | afaf4413775ff7d6054a5893f1397ad908e0773c (diff) |
Rename namespace CVC5 to cvc5. (#6258)
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 1dcff036b..cc71a48ae 100644 --- a/test/api/boilerplate.cpp +++ b/test/api/boilerplate.cpp @@ -21,7 +21,7 @@ #include "api/cvc4cpp.h" -using namespace CVC5::api; +using namespace cvc5::api; using namespace std; int main() { diff --git a/test/api/issue4889.cpp b/test/api/issue4889.cpp index 2f4173d88..2b57781b6 100644 --- a/test/api/issue4889.cpp +++ b/test/api/issue4889.cpp @@ -14,7 +14,7 @@ #include "api/cvc4cpp.h" -using namespace CVC5::api; +using namespace cvc5::api; int main() { diff --git a/test/api/issue5074.cpp b/test/api/issue5074.cpp index d275c3ede..ab58797ee 100644 --- a/test/api/issue5074.cpp +++ b/test/api/issue5074.cpp @@ -14,7 +14,7 @@ #include "api/cvc4cpp.h" -using namespace CVC5::api; +using namespace cvc5::api; int main() { diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp index fb4475ca4..8686cbeb1 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 CVC5; -using namespace CVC5::parser; -using namespace CVC5::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 30b03a8f8..46941e36d 100644 --- a/test/api/reset_assertions.cpp +++ b/test/api/reset_assertions.cpp @@ -22,7 +22,7 @@ #include "api/cvc4cpp.h" -using namespace CVC5::api; +using namespace cvc5::api; int main() { diff --git a/test/api/sep_log_api.cpp b/test/api/sep_log_api.cpp index ab373bf7c..8599a36e1 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 CVC5::api; +using namespace cvc5::api; using namespace std; /** diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index 8604366ba..0510e59db 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 CVC5; -using namespace CVC5::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 d0a05478c..d28f0ceb5 100644 --- a/test/api/two_solvers.cpp +++ b/test/api/two_solvers.cpp @@ -19,7 +19,7 @@ #include "api/cvc4cpp.h" -using namespace CVC5::api; +using namespace cvc5::api; using namespace std; int main() { |