diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-08 19:21:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-08 19:21:47 -0700 |
commit | 91d85704313de6be9fd382833f5cedd39e24a6fa (patch) | |
tree | 057adfdad9d586428482d9bd58e9c8124bddc47b /examples/nra-translate/smt2toqepcad.cpp | |
parent | b4d4006d08a32b107257b0edaba95679d0b0c65b (diff) |
Plug solver API object into parser. (#2240)
Diffstat (limited to 'examples/nra-translate/smt2toqepcad.cpp')
-rw-r--r-- | examples/nra-translate/smt2toqepcad.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/examples/nra-translate/smt2toqepcad.cpp b/examples/nra-translate/smt2toqepcad.cpp index aea436383..acfd6bf97 100644 --- a/examples/nra-translate/smt2toqepcad.cpp +++ b/examples/nra-translate/smt2toqepcad.cpp @@ -22,6 +22,7 @@ #include <typeinfo> #include <vector> +#include "api/cvc4cpp.h" #include "expr/expr.h" #include "options/options.h" #include "parser/parser.h" @@ -49,10 +50,11 @@ int main(int argc, char* argv[]) // Create the expression manager Options options; options.setInputLanguage(language::input::LANG_SMTLIB_V2); - ExprManager exprManager(options); + std::unique_ptr<api::Solver> solver = + std::unique_ptr<api::Solver>(new api::Solver(&options)); // Create the parser - ParserBuilder parserBuilder(&exprManager, input, options); + ParserBuilder parserBuilder(solver.get(), input, options); Parser* parser = parserBuilder.build(); // Variables and assertions |