diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-05-18 10:43:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-05-18 10:43:07 -0700 |
| commit | 21922e3e9f45023612c64753311bc2f53e59e332 (patch) | |
| tree | 8495ac9fc5cdc27bd57440b4e01b1103a5eed7f2 /src/base/wln/wlnRead.c | |
| parent | 67247b7209967a94d84e20b77f90dbc0ef5de108 (diff) | |
| download | abc-21922e3e9f45023612c64753311bc2f53e59e332.tar.gz abc-21922e3e9f45023612c64753311bc2f53e59e332.tar.bz2 abc-21922e3e9f45023612c64753311bc2f53e59e332.zip | |
Adding switch to dsd_match to skip small functions.
Diffstat (limited to 'src/base/wln/wlnRead.c')
| -rw-r--r-- | src/base/wln/wlnRead.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/wln/wlnRead.c b/src/base/wln/wlnRead.c index 276683aa..a27d38d2 100644 --- a/src/base/wln/wlnRead.c +++ b/src/base/wln/wlnRead.c @@ -2733,6 +2733,7 @@ Gia_Man_t * Rtl_LibCollapse( Rtl_Lib_t * p, char * pTopModule, int fVerbose ) Vec_IntPush( vRoots, iNtk ); Rtl_LibBlast2( p, vRoots, 1 ); pGia = Gia_ManDup( pTop->pGia ); + //Gia_AigerWrite( pGia, "temp_miter.aig", 0, 0, 0 ); if ( pTop->pGia->vBarBufs ) pGia->vBarBufs = Vec_IntDup( pTop->pGia->vBarBufs ); printf( "Derived global AIG for the top module \"%s\". ", Rtl_NtkStr(pTop, NameId) ); |