diff options
Diffstat (limited to 'unittests/Solver/Z3SolverTest.cpp')
| -rw-r--r-- | unittests/Solver/Z3SolverTest.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/unittests/Solver/Z3SolverTest.cpp b/unittests/Solver/Z3SolverTest.cpp index a3aa52f6..eab43d79 100644 --- a/unittests/Solver/Z3SolverTest.cpp +++ b/unittests/Solver/Z3SolverTest.cpp @@ -36,7 +36,9 @@ protected: }; TEST_F(Z3SolverTest, GetConstraintLog) { - ConstraintManager Constraints; + ConstraintSet Constraints; + ConstraintManager cm(Constraints); + const std::vector<uint64_t> ConstantValues{1, 2, 3, 4}; std::vector<ref<ConstantExpr>> ConstantExpressions; |