From d9ed88f6a071cc3f4a1d8a132db653cb80ad45fa Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 1 Feb 2015 20:53:32 -0800
Subject: Improvements and tuning of CBA.
---
src/base/cba/cbaBlast.c | 4 ----
1 file changed, 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
--
cgit v1.2.3