diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index 2c3021b45..93bb33c22 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -930,15 +930,15 @@ Abc_Ntk_t * Abc_NtkFromMiniMapping( int *pArray ) // create pis for ( i = 0; i < nCis-nFlops; i++ ) Abc_NtkCreatePi( pNtkMapped ); + // create nodes + for ( i = 0; i < nNodes; i++ ) + Abc_NtkCreateNode( pNtkMapped ); // create pos for ( i = 0; i < nCos-nFlops; i++ ) Abc_NtkCreatePo( pNtkMapped ); // create flops for ( i = 0; i < nFlops; i++ ) Abc_NtkAddLatch( pNtkMapped, NULL, ABC_INIT_ZERO ); - // create nodes - for ( i = 0; i < nNodes; i++ ) - Abc_NtkCreateNode( pNtkMapped ); // connect nodes for ( i = 0; i < nNodes; i++ ) { diff --git a/src/base/abci/abcPart.c b/src/base/abci/abcPart.c index da4d55a65..df85a6fce 100644 --- a/src/base/abci/abcPart.c +++ b/src/base/abci/abcPart.c @@ -1313,6 +1313,7 @@ Abc_Ntk_t * Abc_NtkStochProcessOne( Abc_Ntk_t * p, char * pScript0, int Rand, in } ABC_FREE( pScript ); pNew = Abc_NtkReadFromFile( FileName ); + unlink( FileName ); if ( pNew && Abc_NtkGetMappedArea(pNew) < Abc_NtkGetMappedArea(p) ) { pNew = Abc_NtkDupDfs( pTemp = pNew );