diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-05 15:07:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-05 15:07:46 -0700 |
| commit | 8452f5cff36f82625858f5cf9cbf3c40f76699e9 (patch) | |
| tree | 42de8463de784c37c62acfa2ae0ca5f40a8036b4 /src/aig/gia/giaDup.c | |
| parent | 0489deb631099e725a83cfa92b251b4cc91bfc5e (diff) | |
| download | abc-8452f5cff36f82625858f5cf9cbf3c40f76699e9.tar.gz abc-8452f5cff36f82625858f5cf9cbf3c40f76699e9.tar.bz2 abc-8452f5cff36f82625858f5cf9cbf3c40f76699e9.zip | |
Sequential word-level simulator for Wlc_Ntk_t (bug fix).
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 72fc86c0..11f68cb4 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -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; |