diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 18:59:51 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 18:59:51 -0400 |
| commit | a0529ec5c80482253d451b90c00b6c22d664dfb2 (patch) | |
| tree | b3c6bdea6a98f8088cea593ec7781c5d3f50a78c /src/aig | |
| parent | e2af27f160ce566ea5583a1619b7332a7be34c0a (diff) | |
| download | abc-a0529ec5c80482253d451b90c00b6c22d664dfb2.tar.gz abc-a0529ec5c80482253d451b90c00b6c22d664dfb2.tar.bz2 abc-a0529ec5c80482253d451b90c00b6c22d664dfb2.zip | |
Sweeper internal dumping.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaSweeper.c | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c index 3ec38343..7059ba89 100644 --- a/src/aig/gia/giaSweeper.c +++ b/src/aig/gia/giaSweeper.c @@ -427,22 +427,20 @@ Gia_Man_t * Gia_SweeperExtractUserLogic( Gia_Man_t * p, Vec_Int_t * vProbeIds, V ***********************************************************************/ void Gia_SweeperLogicDump( Gia_Man_t * p, Vec_Int_t * vProbeIds, int fDumpConds, char * pFileName ) { - Gia_Man_t * pGiaOuts; - pGiaOuts = Gia_SweeperExtractUserLogic( p, vProbeIds, NULL, NULL ); - if ( fDumpConds ) + Gia_Man_t * pGiaOuts = Gia_SweeperExtractUserLogic( p, vProbeIds, NULL, NULL ); + Vec_Int_t * vProbeConds = Gia_SweeperCondVector( p ); + printf( "Dumping logic cones" ); + if ( fDumpConds && Vec_IntSize(vProbeConds) > 0 ) { - Vec_Int_t * vProbeConds = Gia_SweeperCondVector( p ); Gia_Man_t * pGiaCond = Gia_SweeperExtractUserLogic( p, vProbeConds, NULL, NULL ); Gia_ManDupAppendShare( pGiaOuts, pGiaCond ); pGiaOuts->nConstrs = Gia_ManPoNum(pGiaCond); Gia_ManHashStop( pGiaOuts ); Gia_ManStop( pGiaCond ); + printf( " and conditions" ); } Gia_AigerWrite( pGiaOuts, pFileName, 0, 0 ); Gia_ManStop( pGiaOuts ); - printf( "Dumped logic cones" ); - if ( fDumpConds ) - printf( " and conditions" ); printf( " into file \"%s\".\n", pFileName ); } |