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

Fix a bug in 'zeropo'.

This commit is contained in:
Alan Mishchenko 2013-09-13 09:52:54 -07:00
parent 5b6b7c5bbe
commit dfb43b2f58
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/abc/abcNtk.c
View File

@ -1771,7 +1771,7 @@ void Abc_NtkDropOneOutput( Abc_Ntk_t * pNtk, int iOutput, int fSkipSweep, int fU
pObj = Abc_NtkPo( pNtk, iOutput );
if ( Abc_ObjFanin0(pObj) == Abc_AigConst1(pNtk) )
{
if ( !Abc_ObjFaninC0(pObj) )
if ( !Abc_ObjFaninC0(pObj) ^ fUseConst1 )
Abc_ObjXorFaninC( pObj, 0 );
return;
}