diff options
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abc.c | 6 | ||||
-rw-r--r-- | src/base/wlc/wlcBlast.c | 19 |
2 files changed, 25 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 9d21bc72..270101b7 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -6878,6 +6878,12 @@ int Abc_CommandRr( Abc_Frame_t * pAbc, int argc, char ** argv ) } } + printf( "This command is obsolete." ); + printf( "To perform pure redudancy removal, try \"mfs -r\".\n" ); + printf( "To perform something a little stronger try \"mfs2\"\n" ); + printf( "When working with an AIG, use \"logic\" before and \"strash\" after this command.\n" ); + return 0; + if ( pNtk == NULL ) { Abc_Print( -1, "Empty network.\n" ); diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index f6cd9310..826dbfa1 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -1344,6 +1344,25 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds, int fGiaSimple assert( Vec_PtrSize(pNew->vNamesOut) == Gia_ManCoNum(pNew) ); */ pNew->pSpec = Abc_UtilStrsav( p->pSpec ? p->pSpec : p->pName ); + // dump the miter parts + if ( 0 ) + { + char pFileName0[1000], pFileName1[1000]; + char * pNameGeneric = Extra_FileNameGeneric( p->pSpec ); + Vec_Int_t * vOrder = Vec_IntStartNatural( Gia_ManPoNum(pNew) ); + Gia_Man_t * pGia0 = Gia_ManDupCones( pNew, Vec_IntArray(vOrder), Vec_IntSize(vOrder)/2, 0 ); + Gia_Man_t * pGia1 = Gia_ManDupCones( pNew, Vec_IntArray(vOrder) + Vec_IntSize(vOrder)/2, Vec_IntSize(vOrder)/2, 0 ); + assert( Gia_ManPoNum(pNew) % 2 == 0 ); + sprintf( pFileName0, "%s_lhs_.aig", pNameGeneric ); + sprintf( pFileName1, "%s_rhs_.aig", pNameGeneric ); + Gia_AigerWrite( pGia0, pFileName0, 0, 0 ); + Gia_AigerWrite( pGia1, pFileName1, 0, 0 ); + Gia_ManStop( pGia0 ); + Gia_ManStop( pGia1 ); + Vec_IntFree( vOrder ); + ABC_FREE( pNameGeneric ); + printf( "Dumped two parts of the miter into files \"%s\" and \"%s\".\n", pFileName0, pFileName1 ); + } return pNew; } |