From 2c2f05c96e021006275a2bc70b9ede70b280616d Mon Sep 17 00:00:00 2001 From: Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> Date: Wed, 16 Sep 2020 12:45:01 -0500 Subject: Dump commands in internal code using command printing functions. (#5040) This is work towards migrating commands to the new API. Internal code that creates command objects just for dumping is replaced with direct calls to functions that print the those commands. --- test/unit/prop/cnf_stream_white.h | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'test/unit/prop/cnf_stream_white.h') diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h index 33fc15674..7fa429054 100644 --- a/test/unit/prop/cnf_stream_white.h +++ b/test/unit/prop/cnf_stream_white.h @@ -146,8 +146,11 @@ class CnfStreamWhite : public CxxTest::TestSuite { d_cnfContext = new context::Context(); d_cnfRegistrar = new theory::TheoryRegistrar(d_theoryEngine); ResourceManager* rm = d_smt->getResourceManager(); - d_cnfStream = new CVC4::prop::TseitinCnfStream( - d_satSolver, d_cnfRegistrar, d_cnfContext, rm); + d_cnfStream = new CVC4::prop::TseitinCnfStream(d_satSolver, + d_cnfRegistrar, + d_cnfContext, + &d_smt->getOutputManager(), + rm); } void tearDown() override -- cgit v1.2.3