diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-21 14:02:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-21 14:02:54 -0700 |
| commit | fb6e4ee290ac874f3d2f77de051733c92974abfd (patch) | |
| tree | 660c2f893953bbffff471f123106d7a8771ab72b /src/aig/gia/giaMan.c | |
| parent | 6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037 (diff) | |
| download | abc-fb6e4ee290ac874f3d2f77de051733c92974abfd.tar.gz abc-fb6e4ee290ac874f3d2f77de051733c92974abfd.tar.bz2 abc-fb6e4ee290ac874f3d2f77de051733c92974abfd.zip | |
Various changes.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 447ecea9..adb7abc0 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -556,6 +556,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " bb = %d", Gia_ManBlackBoxNum(p) ); if ( Gia_ManBufNum(p) ) Abc_Print( 1, " buf = %d", Gia_ManBufNum(p) ); + if ( Gia_ManXorNum(p) && p->pMuxes == NULL ) + Abc_Print( 1, " xor = %d", Gia_ManXorNum(p) ); if ( pPars && pPars->fMuxXor ) printf( "\nXOR/MUX " ), Gia_ManPrintMuxStats( p ); if ( pPars && pPars->fSwitch ) |