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

Sequential word-level simulator for Wlc_Ntk_t (bug fix).

This commit is contained in:
Alan Mishchenko 2015-06-05 15:07:46 -07:00
parent 0489deb631
commit 8452f5cff3
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/giaDup.c
View File

@ -51,6 +51,8 @@ void Gia_ManDupRemapLiterals( Vec_Int_t * vLits, Gia_Man_t * p )
int i, iLit, iLitNew;
Vec_IntForEachEntry( vLits, iLit, i )
{
if ( iLit < 0 )
continue;
pObj = Gia_ManObj( p, Abc_Lit2Var(iLit) );
if ( ~pObj->Value == 0 )
iLitNew = -1;