From 5df2a7a221c38de04c0fbf4dfb62bd7e96741d5a Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sat, 8 Jan 2011 04:23:57 +0000 Subject: [PATCH] Bugfix to the incremental cnf code (which isn't yet active). git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1057 e59a4935-1847-0410-ae03-e826735625c1 --- src/extlib-abc/aig/cnf/cnfWrite.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/extlib-abc/aig/cnf/cnfWrite.c b/src/extlib-abc/aig/cnf/cnfWrite.c index 7aa8f11..da2e7c0 100644 --- a/src/extlib-abc/aig/cnf/cnfWrite.c +++ b/src/extlib-abc/aig/cnf/cnfWrite.c @@ -325,7 +325,7 @@ Cnf_Dat_t * Cnf_DeriveSimple_Additional( Aig_Man_t * p, Cnf_Dat_t * old ) { Aig_Obj_t * pObj; Cnf_Dat_t * pCnf; - int OutVar, PoVar, pVars[32], * pLits, ** pClas; + int OutVar, pVars[32], * pLits, ** pClas; int i, nLiterals, nClauses; // calculate the worst case number of literals and clauses @@ -348,7 +348,7 @@ Cnf_Dat_t * Cnf_DeriveSimple_Additional( Aig_Man_t * p, Cnf_Dat_t * old ) //Copy over the prior allocation of variables to the new variables memcpy(pCnf->pVarNums, old->pVarNums, sizeof(int) * old->nVars); - assert (pCnf->pVarNums[Aig_ManConst1(p)->Id] ==1); + assert (pCnf->pVarNums[Aig_ManConst1(p)->Id] !=-1); int Number = old->nVars+1; // assign variables to the PIs -- 2.47.3