From f0547f8a6fe9cecefde8b1d0c3dc8fcf50219c6b Mon Sep 17 00:00:00 2001 From: Dejan Jovanović Date: Wed, 3 Oct 2012 17:59:33 +0000 Subject: adding ::getBooleanVariables to the PropEngine you can get the Boolean variables in the TheoryEngine now by using d_propEngine->getBooleanVariables --- test/unit/prop/cnf_stream_white.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h index 81f108fb2..f5f52d90e 100644 --- a/test/unit/prop/cnf_stream_white.h +++ b/test/unit/prop/cnf_stream_white.h @@ -156,7 +156,7 @@ class CnfStreamWhite : public CxxTest::TestSuite { d_theoryEngine = d_smt->d_theoryEngine; d_satSolver = new FakeSatSolver(); - d_cnfStream = new CVC4::prop::TseitinCnfStream(d_satSolver, new theory::TheoryRegistrar(d_theoryEngine)); + d_cnfStream = new CVC4::prop::TseitinCnfStream(d_satSolver, new theory::TheoryRegistrar(d_theoryEngine), new context::Context()); } void tearDown() { -- cgit v1.2.3