diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-02 21:23:12 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-02 21:23:12 -0800 |
| commit | d7d1978e42ca631eacf6a7a49ee75b0184f3ac20 (patch) | |
| tree | 6de044714042d0a1164bbc999d1b5ffd1174e483 /src/aig/gia | |
| parent | 08b69297cc9e7a7fdce8fccb215956d977953a55 (diff) | |
| download | abc-d7d1978e42ca631eacf6a7a49ee75b0184f3ac20.tar.gz abc-d7d1978e42ca631eacf6a7a49ee75b0184f3ac20.tar.bz2 abc-d7d1978e42ca631eacf6a7a49ee75b0184f3ac20.zip | |
Bug fix in &nf.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaNf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 45fe6afa..f191dfd7 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -808,6 +808,7 @@ static inline int Nf_ManPrepareCuts( Nf_Cut_t * pCuts, Nf_Man_t * p, int iObj, i pMfCut->iFunc = Nf_CutFunc( pCut ); pMfCut->nLeaves = Nf_CutSize( pCut ); pMfCut->Sign = Nf_CutGetSign( pCut+1, Nf_CutSize(pCut) ); + pMfCut->Useless = Nf_ObjCutUseless( p, Abc_Lit2Var(pMfCut->iFunc) ); memcpy( pMfCut->pLeaves, pCut+1, sizeof(int) * Nf_CutSize(pCut) ); pMfCut++; } |