diff options
Diffstat (limited to 'src/aig/gia/giaHash.c')
| -rw-r--r-- | src/aig/gia/giaHash.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/aig/gia/giaHash.c b/src/aig/gia/giaHash.c index 6561ca13..c610bc9c 100644 --- a/src/aig/gia/giaHash.c +++ b/src/aig/gia/giaHash.c @@ -490,8 +490,12 @@ int Gia_ManHashAnd( Gia_Man_t * p, int iLit0, int iLit1 ) iLit0 ^= iLit1, iLit1 ^= iLit0, iLit0 ^= iLit1; { int * pPlace = Gia_ManHashFind( p, iLit0, iLit1 ); - if ( *pPlace ) + if ( *pPlace ) + { + p->nHashHit++; return *pPlace; + } + p->nHashMiss++; if ( p->nObjs < p->nObjsAlloc ) return *pPlace = Gia_ManAppendAnd( p, iLit0, iLit1 ); else |