diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-15 19:11:17 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-15 19:11:17 -0700 |
| commit | 3f8b5cd890e788fcc17ff382d80a8c4a48b16a06 (patch) | |
| tree | a34f4b163d4a3f61486d167dd8d5e3895b8590ee /src/aig/gia/giaMfs.c | |
| parent | 8bfe8d521066a2a607a1c631af1bf4155f8699c7 (diff) | |
| download | abc-3f8b5cd890e788fcc17ff382d80a8c4a48b16a06.tar.gz abc-3f8b5cd890e788fcc17ff382d80a8c4a48b16a06.tar.bz2 abc-3f8b5cd890e788fcc17ff382d80a8c4a48b16a06.zip | |
Small fixes and improvements in reporting node counts.
Diffstat (limited to 'src/aig/gia/giaMfs.c')
| -rw-r--r-- | src/aig/gia/giaMfs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c index e5dfb788..c39e102d 100644 --- a/src/aig/gia/giaMfs.c +++ b/src/aig/gia/giaMfs.c @@ -67,7 +67,7 @@ Sfm_Ntk_t * Gia_ManExtractMfs( Gia_Man_t * p ) int i, j, k, curCi, curCo, nBoxIns, nBoxOuts; int Id, iFan, nMfsVars, nBbIns = 0, nBbOuts = 0, Counter = 0; assert( !p->pAigExtra || Gia_ManPiNum(p->pAigExtra) <= 6 ); - Tim_ManBlackBoxIoNum( pManTime, &nBbIns, &nBbOuts ); + if ( pManTime ) Tim_ManBlackBoxIoNum( pManTime, &nBbIns, &nBbOuts ); // skip PIs due to box outputs Counter += nBbOuts; // prepare storage @@ -252,7 +252,7 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk ) Vec_Int_t * vArray, * vLeaves; Vec_Int_t * vMapping, * vMapping2; int nBbIns = 0, nBbOuts = 0; - Tim_ManBlackBoxIoNum( pManTime, &nBbIns, &nBbOuts ); + if ( pManTime ) Tim_ManBlackBoxIoNum( pManTime, &nBbIns, &nBbOuts ); nMfsNodes = 1 + Gia_ManCiNum(p) + Gia_ManLutNum(p) + Gia_ManCoNum(p) + nBbIns + nBbOuts; vMfs2Gia = Vec_IntStartFull( nMfsNodes ); vGroupMap = Vec_IntStartFull( nMfsNodes ); |