diff options
Diffstat (limited to 'test/unit/theory')
-rw-r--r-- | test/unit/theory/theory_quantifiers_bv_inverter_white.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/theory/theory_quantifiers_bv_inverter_white.h b/test/unit/theory/theory_quantifiers_bv_inverter_white.h index 03fcaab69..74041295d 100644 --- a/test/unit/theory/theory_quantifiers_bv_inverter_white.h +++ b/test/unit/theory/theory_quantifiers_bv_inverter_white.h @@ -223,7 +223,7 @@ class TheoryQuantifiersBvInverter : public CxxTest::TestSuite d_em = new ExprManager(); d_nm = NodeManager::fromExprManager(d_em); d_smt = new SmtEngine(d_em); - d_smt->setOption("cbqi-full", CVC4::SExpr(true)); + d_smt->setOption("cegqi-full", CVC4::SExpr(true)); d_smt->setOption("produce-models", CVC4::SExpr(true)); d_scope = new SmtScope(d_smt); |