diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-15 20:08:15 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-15 20:08:15 -0800 |
| commit | 1a5a11cbc6054fc63f49a0ecb57ccdcf1bd480b0 (patch) | |
| tree | 7cebf8c847744ff981be87abe4480d7285d5553b /src/base/cba/cbaBuild.c | |
| parent | c7e3c8f3751ffc0e4f72bb046c8b384708cd9db8 (diff) | |
| download | abc-1a5a11cbc6054fc63f49a0ecb57ccdcf1bd480b0.tar.gz abc-1a5a11cbc6054fc63f49a0ecb57ccdcf1bd480b0.tar.bz2 abc-1a5a11cbc6054fc63f49a0ecb57ccdcf1bd480b0.zip | |
Various transformations of Cba_Ntk_t.
Diffstat (limited to 'src/base/cba/cbaBuild.c')
| -rw-r--r-- | src/base/cba/cbaBuild.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cba/cbaBuild.c b/src/base/cba/cbaBuild.c index b4f95f23..b353e8f6 100644 --- a/src/base/cba/cbaBuild.c +++ b/src/base/cba/cbaBuild.c @@ -47,8 +47,6 @@ void Cba_BoxRemap( Cba_Ntk_t * pNtk, int iBox, Vec_Int_t * vMap ) Cba_Ntk_t * pBoxModel = Cba_ObjBoxModel( pNtk, iBox ); Vec_Int_t * vFanins = Cba_ObjFaninVec( pNtk, iBox ); int i, NameId; - Vec_IntForEachEntry( vMap, NameId, i ) - assert( NameId == -1 ); // map formal names into I/O indexes Cba_NtkForEachPi( pBoxModel, NameId, i ) { @@ -79,6 +77,8 @@ void Cba_NtkRemapBoxes( Cba_Ntk_t * pNtk, Vec_Int_t * vMap ) Cba_NtkForEachObjType( pNtk, Type, iBox ) if ( Type == CBA_OBJ_BOX ) Cba_BoxRemap( pNtk, iBox, vMap ); + Vec_IntForEachEntry( vMap, Type, iBox ) + assert( Type == -1 ); } // create maps of NameId and boxes void Cba_NtkFindNonDriven( Cba_Ntk_t * pNtk, Vec_Int_t * vMap, int nObjCount, Vec_Int_t * vNonDriven ) |