diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-24 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-24 08:01:00 -0700 |
| commit | 735bca1658f92881e12a616f9bdc6a58d0a4c60b (patch) | |
| tree | bf38d65e91be84e4086b585c489411876750f041 /src/temp/ver | |
| parent | 7b09d2d28aa81916f9c06f0993f2569a7ad18596 (diff) | |
| download | abc-735bca1658f92881e12a616f9bdc6a58d0a4c60b.tar.gz abc-735bca1658f92881e12a616f9bdc6a58d0a4c60b.tar.bz2 abc-735bca1658f92881e12a616f9bdc6a58d0a4c60b.zip | |
Version abc60824
Diffstat (limited to 'src/temp/ver')
| -rw-r--r-- | src/temp/ver/verCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/temp/ver/verCore.c b/src/temp/ver/verCore.c index 99311c98..303fe7d1 100644 --- a/src/temp/ver/verCore.c +++ b/src/temp/ver/verCore.c @@ -752,7 +752,7 @@ int Ver_ParseGate( Ver_Man_t * pMan, Abc_Ntk_t * pNtkGate ) if ( Abc_NtkIsNetlist(pNtkGate) ) pNetFormal = Abc_NtkFindNet( pNtkGate, pWord ); else // if ( Abc_NtkIsStrash(pNtkGate) ) - pNetFormal = Abc_NtkFindTerm( pNtkGate, pWord ); + assert( 0 ); if ( pNetFormal == NULL ) { sprintf( pMan->sError, "Formal net is missing in gate %s.", pWord ); @@ -865,7 +865,7 @@ int Ver_ParseGate( Ver_Man_t * pMan, Abc_Ntk_t * pNtkGate ) memset( pPolarity, 0, nBytes ); } // create box to represent this gate - pNode = Abc_NtkCreateBox( pMan->pNtkCur ); + pNode = Abc_NtkCreateBlackbox( pMan->pNtkCur ); pNode->pNext = (Abc_Obj_t *)pPolarity; pNode->pData = pNtkGate; // connect to fanin nets |