diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 20:53:32 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 20:53:32 -0800 |
| commit | d9ed88f6a071cc3f4a1d8a132db653cb80ad45fa (patch) | |
| tree | 4c8b371e459b7be273fdaaafcacf6d80c3a5fe33 /src/base | |
| parent | 7b1c25086b650aa0b86280ea8c97ececbac79732 (diff) | |
| download | abc-d9ed88f6a071cc3f4a1d8a132db653cb80ad45fa.tar.gz abc-d9ed88f6a071cc3f4a1d8a132db653cb80ad45fa.tar.bz2 abc-d9ed88f6a071cc3f4a1d8a132db653cb80ad45fa.zip | |
Improvements and tuning of CBA.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/cba/cbaBlast.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c index 795ee678..2f955241 100644 --- a/src/base/cba/cbaBlast.c +++ b/src/base/cba/cbaBlast.c @@ -143,10 +143,6 @@ int Cba_ManExtract_rec( Gia_Man_t * pNew, Cba_Ntk_t * p, int i, int fBuffers, Ve Dec_Graph_t * pGraph = (Dec_Graph_t *)p->pDesign->ppGraphs[Cba_BoxNtkId(p, iBox)]; Vec_Int_t Leaves = { nLits, nLits, pLits }; assert( pGraph != NULL ); - if ( pGraph->nLeaves == 0 ) - { - int s = 0; - } return Gia_ManFactorGraph( pNew, pGraph, &Leaves ); } else |