diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-05 19:31:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-05 19:31:28 -0700 |
| commit | d2e454e0dfc06e16fe0a4228168b21cf1311fc35 (patch) | |
| tree | 65063161aa9e21348182b13251524c58b0ca49c5 /test/unit | |
| parent | 00a20b53ce998f52b18303a7a680e6a00acc098c (diff) | |
New C++ Api: Rename and move headers. (#6292)
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/main/interactive_shell_black.cpp | 2 | ||||
| -rw-r--r-- | test/unit/node/node_black.cpp | 2 | ||||
| -rw-r--r-- | test/unit/parser/parser_black.cpp | 2 | ||||
| -rw-r--r-- | test/unit/parser/parser_builder_black.cpp | 2 | ||||
| -rw-r--r-- | test/unit/printer/smt2_printer_black.cpp | 2 | ||||
| -rw-r--r-- | test/unit/test_api.h | 2 | ||||
| -rw-r--r-- | test/unit/theory/regexp_operation_black.cpp | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/test/unit/main/interactive_shell_black.cpp b/test/unit/main/interactive_shell_black.cpp index 7ab337c09..52f07a2f2 100644 --- a/test/unit/main/interactive_shell_black.cpp +++ b/test/unit/main/interactive_shell_black.cpp @@ -17,7 +17,7 @@ #include <sstream> #include <vector> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "expr/symbol_manager.h" #include "main/interactive_shell.h" #include "options/base_options.h" diff --git a/test/unit/node/node_black.cpp b/test/unit/node/node_black.cpp index 5177ff453..be393039b 100644 --- a/test/unit/node/node_black.cpp +++ b/test/unit/node/node_black.cpp @@ -19,7 +19,7 @@ #include <string> #include <vector> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "expr/dtype.h" #include "expr/dtype_cons.h" #include "expr/node.h" diff --git a/test/unit/parser/parser_black.cpp b/test/unit/parser/parser_black.cpp index 3c6d8b820..5b695030e 100644 --- a/test/unit/parser/parser_black.cpp +++ b/test/unit/parser/parser_black.cpp @@ -17,7 +17,7 @@ #include <sstream> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/output.h" #include "expr/symbol_manager.h" #include "options/base_options.h" diff --git a/test/unit/parser/parser_builder_black.cpp b/test/unit/parser/parser_builder_black.cpp index a83932b2f..113a5abd5 100644 --- a/test/unit/parser/parser_builder_black.cpp +++ b/test/unit/parser/parser_builder_black.cpp @@ -22,7 +22,7 @@ #include <fstream> #include <iostream> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "expr/symbol_manager.h" #include "options/language.h" #include "parser/parser.h" diff --git a/test/unit/printer/smt2_printer_black.cpp b/test/unit/printer/smt2_printer_black.cpp index 03ab95083..d89930033 100644 --- a/test/unit/printer/smt2_printer_black.cpp +++ b/test/unit/printer/smt2_printer_black.cpp @@ -16,7 +16,7 @@ #include <iostream> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "expr/node.h" #include "expr/node_manager.h" #include "options/language.h" diff --git a/test/unit/test_api.h b/test/unit/test_api.h index 7ad2e1e5c..b66dd58bc 100644 --- a/test/unit/test_api.h +++ b/test/unit/test_api.h @@ -15,7 +15,7 @@ #ifndef CVC4__TEST__UNIT__TEST_API_H #define CVC4__TEST__UNIT__TEST_API_H -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "gtest/gtest.h" namespace cvc5 { diff --git a/test/unit/theory/regexp_operation_black.cpp b/test/unit/theory/regexp_operation_black.cpp index ed432ca2f..608eeb649 100644 --- a/test/unit/theory/regexp_operation_black.cpp +++ b/test/unit/theory/regexp_operation_black.cpp @@ -18,7 +18,7 @@ #include <memory> #include <vector> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "expr/node.h" #include "expr/node_manager.h" #include "smt/smt_engine_scope.h" |