diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-05 19:34:24 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-05 19:34:24 -0800 |
| commit | d7099e7adc60190dfef9761130bde0eaf352b48d (patch) | |
| tree | eeafc42df15a7ad4822ec5b0d490e72a74ca3e75 /src/base/cba/cbaNtk.c | |
| parent | 35ab8cbdad84e8002db20b0b81681a50058a5bed (diff) | |
| download | abc-d7099e7adc60190dfef9761130bde0eaf352b48d.tar.gz abc-d7099e7adc60190dfef9761130bde0eaf352b48d.tar.bz2 abc-d7099e7adc60190dfef9761130bde0eaf352b48d.zip | |
Adding binary dump to CBA.
Diffstat (limited to 'src/base/cba/cbaNtk.c')
| -rw-r--r-- | src/base/cba/cbaNtk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index e009f4b1..5189eed5 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -264,7 +264,7 @@ Cba_Man_t * Cba_ManCollapseInt( Cba_Man_t * p ) assert( Vec_IntSize(vSigs) == Cba_NtkPoNum(pRoot) ); Cba_NtkForEachPo( pRoot, iObj, i ) Cba_ObjAlloc( pRootNew, CBA_OBJ_PO, i, Vec_IntEntry(vSigs, i) ); - assert( Cba_NtkObjNum(pRootNew) == Cba_NtkAllocNum(pRootNew) ); + assert( Cba_NtkObjNum(pRootNew) == Cba_NtkObjNumAlloc(pRootNew) ); Vec_IntFree( vSigs ); // transfer PI/PO names Cba_NtkStartNames( pRootNew ); |