diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 18:45:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 18:45:44 -0800 |
| commit | 7e9f3f027b8de37480cc8dd6d3de17541a8caeba (patch) | |
| tree | f0df813a0dd7edef77ba3757493955f28c1e29fa /src/base/wlc/wlcGraft.c | |
| parent | 33971604cf9187a473fa6de335e4849365bbf106 (diff) | |
| download | abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.tar.gz abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.tar.bz2 abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.zip | |
Adding parameters and improvements to %blast.
Diffstat (limited to 'src/base/wlc/wlcGraft.c')
| -rw-r--r-- | src/base/wlc/wlcGraft.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcGraft.c b/src/base/wlc/wlcGraft.c index 03cfac4d..8e1ed20f 100644 --- a/src/base/wlc/wlcGraft.c +++ b/src/base/wlc/wlcGraft.c @@ -210,7 +210,7 @@ Wlc_Ntk_t * Wlc_NtkGraftMulti( Wlc_Ntk_t * p, int fVerbose ) Gia_Obj_t * pObj; Vec_Int_t * vObjsLHS = Wlc_NtkCollectObjs( p, 0, &nMultiLHS ); Vec_Int_t * vObjsRHS = Wlc_NtkCollectObjs( p, 1, &nMultiRHS ); - Gia_Man_t * pGia = Wlc_NtkBitBlast( p, NULL, -1, 0, 0, 0, 0, 1, 0, 0 ); + Gia_Man_t * pGia = Wlc_NtkBitBlast( p, NULL ); //, -1, 0, 0, 0, 0, 1, 0, 0 ); // <= no cleanup Vec_Mem_t * vTtMem = Vec_MemAlloc( nWords, 10 ); Vec_MemHashAlloc( vTtMem, 10000 ); @@ -540,7 +540,7 @@ int Sbc_ManWlcNodes( Wlc_Ntk_t * pNtk, Gia_Man_t * p, Vec_Int_t * vGia2Out, int void Sbc_ManDetectMultTest( Wlc_Ntk_t * pNtk, int fVerbose ) { extern Vec_Int_t * Sdb_StoComputeCutsDetect( Gia_Man_t * pGia ); - Gia_Man_t * p = Wlc_NtkBitBlast( pNtk, NULL, -1, 0, 0, 0, 0, 1, 0, 0 ); + Gia_Man_t * p = Wlc_NtkBitBlast( pNtk, NULL );//, -1, 0, 0, 0, 0, 1, 0, 0 ); // <= no cleanup Vec_Int_t * vIns, * vGia2Out; int iObjFound = -1; // Gia_Obj_t * pObj; int i; |