From ba9d9d0cfab0e23aa2bb11ff4f9cd7b20550a97b Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 26 Sep 2014 07:25:47 -0400 Subject: [PATCH] Fix AIG bitblaster for unsat cores. --- src/theory/bv/aig_bitblaster.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/bv/aig_bitblaster.cpp b/src/theory/bv/aig_bitblaster.cpp index ce775874f..6270995ef 100644 --- a/src/theory/bv/aig_bitblaster.cpp +++ b/src/theory/bv/aig_bitblaster.cpp @@ -402,7 +402,7 @@ void AigBitblaster::assertToSatSolver(Cnf_Dat_t* pCnf) { prop::SatLiteral lit(sat_variables[index-1], int_lit < 0); clause.push_back(lit); } - d_satSolver->addClause(clause, false); + d_satSolver->addClause(clause, false, RULE_INVALID); } } -- 2.30.2