diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-24 10:47:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-24 10:47:58 -0700 |
| commit | 91b542815488fe23c2d625e69eb2a1add12cf1fe (patch) | |
| tree | a8fc98a6959eaeecb50f5208de6bc0efb9730682 /src | |
| parent | afdaebe1b4288cc6a3cf6394996b04f3dc8506ab (diff) | |
| download | abc-91b542815488fe23c2d625e69eb2a1add12cf1fe.tar.gz abc-91b542815488fe23c2d625e69eb2a1add12cf1fe.tar.bz2 abc-91b542815488fe23c2d625e69eb2a1add12cf1fe.zip | |
Corner case bug fix in reducing equivalences.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaEquiv.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index c87d1cd5..db1563fc 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -610,7 +610,8 @@ Gia_Man_t * Gia_ManEquivReduce( Gia_Man_t * p, int fUseAll, int fDualOut, int fS if ( i == Gia_ManObjNum(p) ) { // Abc_Print( 1, "Gia_ManEquivReduce(): There are no equivalences to reduce.\n" ); - return NULL; +// return NULL; + return Gia_ManDup( p ); } /* if ( !Gia_ManCheckTopoOrder( p ) ) |