diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/expr/node_black.cpp | 1 | ||||
| -rw-r--r-- | test/unit/test_smt.h | 4 | ||||
| -rw-r--r-- | test/unit/theory/theory_arith_white.cpp | 1 | ||||
| -rw-r--r-- | test/unit/util/datatype_black.cpp | 1 |
4 files changed, 7 insertions, 0 deletions
diff --git a/test/unit/expr/node_black.cpp b/test/unit/expr/node_black.cpp index ddbdcde6b..f50d529d5 100644 --- a/test/unit/expr/node_black.cpp +++ b/test/unit/expr/node_black.cpp @@ -21,6 +21,7 @@ #include "api/cvc4cpp.h" #include "expr/dtype.h" +#include "expr/dtype_cons.h" #include "expr/expr_manager.h" #include "expr/node.h" #include "expr/node_builder.h" diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h index 7aecdd3b2..cd77f355d 100644 --- a/test/unit/test_smt.h +++ b/test/unit/test_smt.h @@ -15,12 +15,16 @@ #ifndef CVC4__TEST__UNIT__TEST_SMT_H #define CVC4__TEST__UNIT__TEST_SMT_H +#include "expr/dtype_cons.h" #include "expr/node.h" #include "expr/node_manager.h" #include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" #include "test.h" +#include "theory/output_channel.h" +#include "theory/rewriter.h" #include "theory/theory.h" +#include "theory/theory_state.h" #include "theory/valuation.h" #include "util/resource_manager.h" #include "util/unsafe_interrupt_exception.h" diff --git a/test/unit/theory/theory_arith_white.cpp b/test/unit/theory/theory_arith_white.cpp index 8bdf82622..5e5b52d3e 100644 --- a/test/unit/theory/theory_arith_white.cpp +++ b/test/unit/theory/theory_arith_white.cpp @@ -12,6 +12,7 @@ ** \brief Whitebox tests for theory Arithmetic. **/ +#include <list> #include <vector> #include "context/context.h" diff --git a/test/unit/util/datatype_black.cpp b/test/unit/util/datatype_black.cpp index 0ef095fd9..0120dda76 100644 --- a/test/unit/util/datatype_black.cpp +++ b/test/unit/util/datatype_black.cpp @@ -18,6 +18,7 @@ #include "api/cvc4cpp.h" #include "expr/dtype.h" +#include "expr/dtype_cons.h" #include "expr/expr.h" #include "expr/type_node.h" #include "test_expr.h" |