New way of blasting complex flops.

This commit is contained in:
Alan Mishchenko 2018-09-24 21:38:12 -07:00
parent fea47821f5
commit a93699f696
1 changed files with 2 additions and 2 deletions

View File

@ -2283,8 +2283,8 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn )
ABC_FREE( pNameGeneric );
printf( "Dumped two parts of the miter into files \"%s\" and \"%s\".\n", pFileName0, pFileName1 );
}
Wlc_NtkPrintNameArray( pNew->vNamesIn );
Wlc_NtkPrintNameArray( pNew->vNamesOut );
//Wlc_NtkPrintNameArray( pNew->vNamesIn );
//Wlc_NtkPrintNameArray( pNew->vNamesOut );
if ( pPar->vBoxIds )
{
Vec_PtrFreeFree( pNew->vNamesIn ); pNew->vNamesIn = NULL;