diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-29 18:34:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-29 18:34:56 -0700 |
| commit | 41314cea01d1b687ab70c5e9424aa7746a0c42b8 (patch) | |
| tree | 152ea8b736e7b949eafafa55d37d35b426cecf40 /src/base/wlc/wlcGraft.c | |
| parent | 30d1f192a7f147cb85eee23da85efe00bf8e8d99 (diff) | |
| download | abc-41314cea01d1b687ab70c5e9424aa7746a0c42b8.tar.gz abc-41314cea01d1b687ab70c5e9424aa7746a0c42b8.tar.bz2 abc-41314cea01d1b687ab70c5e9424aa7746a0c42b8.zip | |
Adding switch %blast -d to dump dual-output miter after blasting.
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 33de00c5..f1f55eb3 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 ); + Gia_Man_t * pGia = Wlc_NtkBitBlast( p, NULL, -1, 0, 0, 0, 0, 1, 0 ); 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 ); + Gia_Man_t * p = Wlc_NtkBitBlast( pNtk, NULL, -1, 0, 0, 0, 0, 1, 0 ); Vec_Int_t * vIns, * vGia2Out; int iObjFound = -1; // Gia_Obj_t * pObj; int i; |