From 1343b8a80c7c59c7cc2b14490151de4e5d883734 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 15 Jul 2016 19:56:34 -0700 Subject: Fixes and adjustments for the edge computation flow. --- src/aig/gia/giaSatLE.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/aig/gia') diff --git a/src/aig/gia/giaSatLE.c b/src/aig/gia/giaSatLE.c index c1588571..ec243423 100644 --- a/src/aig/gia/giaSatLE.c +++ b/src/aig/gia/giaSatLE.c @@ -881,7 +881,7 @@ void Sle_ManDeriveResult( Sle_Man_t * p, Vec_Int_t * vEdge2, Vec_Int_t * vMappin if ( !sat_solver_var_value(p->pSat, iObj) ) continue; Vec_IntForEachEntry( vCutFans, iFanin, i ) - if ( sat_solver_var_value(p->pSat, iEdgeVar0 + i) ) + if ( sat_solver_var_value(p->pSat, iFanin) && sat_solver_var_value(p->pSat, iEdgeVar0 + i) ) Vec_IntPushTwo( vEdge2, iFanin, iObj ); } } @@ -1029,6 +1029,7 @@ void Sle_ManExplore( Gia_Man_t * pGia, int nBTLimit, int DelayInit, int fDynamic Vec_IntFree( vEdges2 ); Vec_IntFree( vMapping ); } + Vec_IntFreeP( &p->pGia->vPacking ); Sle_ManStop( p ); } -- cgit v1.2.3