From 21922e3e9f45023612c64753311bc2f53e59e332 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 18 May 2022 10:43:07 -0700 Subject: Adding switch to dsd_match to skip small functions. --- src/base/wln/wlnRead.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/base/wln/wlnRead.c') 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) ); -- cgit v1.2.3