diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-01 11:36:30 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-01 11:36:30 -0700 |
commit | c85d906d4fc8da9e31d96804ccbf6d52ec22cdd5 (patch) | |
tree | 9b403c088bbad792017c8cb4dde6766d8cd19dc6 /src/api/cvc4cpp.cpp | |
parent | 0aa6e039827750757941751e0829575a55601ace (diff) |
New C++ API: Fixed ownership of options object. (#2243)
Diffstat (limited to 'src/api/cvc4cpp.cpp')
-rw-r--r-- | src/api/cvc4cpp.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index 10c0c8e26..19d7840a8 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -1429,12 +1429,12 @@ size_t RoundingModeHashFunction::operator()(const RoundingMode& rm) const /* Solver */ /* -------------------------------------------------------------------------- */ -Solver::Solver(Options* opts) : d_opts(new Options()) +Solver::Solver(Options* opts) { - if (opts) d_opts->copyValues(*opts); - d_exprMgr = std::unique_ptr<ExprManager>(new ExprManager(*d_opts)); + d_exprMgr = std::unique_ptr<ExprManager>( + opts == nullptr ? new ExprManager(Options()) : new ExprManager(*opts)); d_smtEngine = std::unique_ptr<SmtEngine>(new SmtEngine(d_exprMgr.get())); - d_rng = std::unique_ptr<Random>(new Random((*d_opts)[options::seed])); + d_rng = std::unique_ptr<Random>(new Random((*opts)[options::seed])); } Solver::~Solver() {} |