diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-30 14:14:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-30 21:14:59 +0000 |
| commit | 56cd2e8f584ed36fd76144a622355511a4b09935 (patch) | |
| tree | 94a2331dd82886133c2183445a80010fcb02538e /test/unit/node | |
| parent | b106c95296860cf89ea7cef00c8e8187409e755e (diff) | |
Rename files smt_engine.(cpp|h) to solver_engine.(cpp|h). (#7279)
This is in preparation for renaming SmtEngine to SolverEngine.
Diffstat (limited to 'test/unit/node')
| -rw-r--r-- | test/unit/node/attribute_white.cpp | 2 | ||||
| -rw-r--r-- | test/unit/node/node_black.cpp | 2 | ||||
| -rw-r--r-- | test/unit/node/type_node_white.cpp | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/node/attribute_white.cpp b/test/unit/node/attribute_white.cpp index 4b0f1892f..fef1184a2 100644 --- a/test/unit/node/attribute_white.cpp +++ b/test/unit/node/attribute_white.cpp @@ -22,8 +22,8 @@ #include "expr/node_manager.h" #include "expr/node_manager_attributes.h" #include "expr/node_value.h" -#include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" +#include "smt/solver_engine.h" #include "test_node.h" #include "theory/theory.h" #include "theory/theory_engine.h" diff --git a/test/unit/node/node_black.cpp b/test/unit/node/node_black.cpp index d083c9fb0..df78061a0 100644 --- a/test/unit/node/node_black.cpp +++ b/test/unit/node/node_black.cpp @@ -30,7 +30,7 @@ #include "options/base_options.h" #include "options/language.h" #include "options/options_public.h" -#include "smt/smt_engine.h" +#include "smt/solver_engine.h" #include "test_node.h" #include "theory/rewriter.h" #include "util/bitvector.h" diff --git a/test/unit/node/type_node_white.cpp b/test/unit/node/type_node_white.cpp index d3d05040f..d4e86608d 100644 --- a/test/unit/node/type_node_white.cpp +++ b/test/unit/node/type_node_white.cpp @@ -19,7 +19,7 @@ #include "expr/node_manager.h" #include "expr/type_node.h" -#include "smt/smt_engine.h" +#include "smt/solver_engine.h" #include "test_node.h" #include "util/rational.h" |