diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-23 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-23 08:01:00 -0700 |
| commit | 7b09d2d28aa81916f9c06f0993f2569a7ad18596 (patch) | |
| tree | 7f9203d4a804fb4db2ae5d962166470360b1f27f /src/base/abci/abcStrash.c | |
| parent | 956842d9cc321eee3907889b820132e6e2b5ec62 (diff) | |
| download | abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.tar.gz abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.tar.bz2 abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.zip | |
Version abc60823
Diffstat (limited to 'src/base/abci/abcStrash.c')
| -rw-r--r-- | src/base/abci/abcStrash.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcStrash.c b/src/base/abci/abcStrash.c index c69aeabf..c54ea33c 100644 --- a/src/base/abci/abcStrash.c +++ b/src/base/abci/abcStrash.c @@ -250,7 +250,7 @@ Abc_Obj_t * Abc_NodeStrash( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pNodeOld ) Abc_Obj_t * pFanin; int i; assert( Abc_ObjIsNode(pNodeOld) ); - assert( Abc_NtkIsAigLogic(pNodeOld->pNtk) ); + assert( Abc_NtkHasAig(pNodeOld->pNtk) && !Abc_NtkIsStrash(pNodeOld->pNtk) ); // get the local AIG manager and the local root node pMan = pNodeOld->pNtk->pManFunc; pRoot = pNodeOld->pData; @@ -317,7 +317,7 @@ Abc_Ntk_t * Abc_NtkTopmost( Abc_Ntk_t * pNtk, int nLevels ) // get the cutoff level LevelCut = ABC_MAX( 0, Abc_AigGetLevelNum(pNtk) - nLevels ); // start the network - pNtkNew = Abc_NtkAlloc( ABC_NTK_STRASH, ABC_FUNC_AIG ); + pNtkNew = Abc_NtkAlloc( ABC_NTK_STRASH, ABC_FUNC_AIG, 1 ); pNtkNew->pName = Extra_UtilStrsav(pNtk->pName); Abc_AigConst1(pNtk)->pCopy = Abc_AigConst1(pNtkNew); // create PIs below the cut and nodes above the cut |