luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bug fix in the sweeper.

This commit is contained in:
Alan Mishchenko 2014-05-06 14:38:27 +08:00
parent 421362f709
commit 140fd9ad9f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaSweeper.c
View File

@ -757,6 +757,8 @@ static Vec_Int_t * Gia_ManGetCex( Gia_Man_t * pGia, Vec_Int_t * vId2Lit, sat_sol
Vec_IntClear( vCex );
Gia_ManForEachPi( pGia, pObj, i )
{
if ( Gia_ObjId(pGia, pObj) >= Vec_IntSize(vId2Lit) )
continue;
LitSat = Vec_IntEntry( vId2Lit, Gia_ObjId(pGia, pObj) );
if ( LitSat == 0 )
{