diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/system/boilerplate.cpp | 2 | ||||
-rw-r--r-- | test/unit/theory/shared_term_manager_black.h | 3 | ||||
-rw-r--r-- | test/unit/theory/theory_engine_white.h | 3 |
3 files changed, 3 insertions, 5 deletions
diff --git a/test/system/boilerplate.cpp b/test/system/boilerplate.cpp index 89d5174e3..c64c1463e 100644 --- a/test/system/boilerplate.cpp +++ b/test/system/boilerplate.cpp @@ -30,7 +30,7 @@ using namespace std; int main() { ExprManager em; Options opts; - SmtEngine smt(&em, opts); + SmtEngine smt(&em); Result r = smt.query(em.mkConst(true)); return r == Result::VALID ? 0 : 1; diff --git a/test/unit/theory/shared_term_manager_black.h b/test/unit/theory/shared_term_manager_black.h index 76f3712f0..e88f11673 100644 --- a/test/unit/theory/shared_term_manager_black.h +++ b/test/unit/theory/shared_term_manager_black.h @@ -59,8 +59,7 @@ public: d_nm = new NodeManager(d_ctxt); d_scope = new NodeManagerScope(d_nm); - Options options; - d_theoryEngine = new TheoryEngine(d_ctxt, options); + d_theoryEngine = new TheoryEngine(d_ctxt); } void tearDown() { diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h index f99698204..26908ec6e 100644 --- a/test/unit/theory/theory_engine_white.h +++ b/test/unit/theory/theory_engine_white.h @@ -242,8 +242,7 @@ public: d_nullChannel = new FakeOutputChannel; // create the TheoryEngine - Options options; - d_theoryEngine = new TheoryEngine(d_ctxt, options); + d_theoryEngine = new TheoryEngine(d_ctxt); d_theoryEngine->addTheory< FakeTheory<THEORY_BUILTIN> >(); d_theoryEngine->addTheory< FakeTheory<THEORY_BOOL> >(); |