diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-27 22:39:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-27 22:39:58 -0700 |
| commit | d65d8528b6aadbedc148fe97dd44eb9e7f71500a (patch) | |
| tree | 67bec596a50bfc070ce7d2466fd67bc6ad984707 /src/aig/gia/giaMan.c | |
| parent | a7867378ac835c7775f6fae0749943d773e83498 (diff) | |
| download | abc-d65d8528b6aadbedc148fe97dd44eb9e7f71500a.tar.gz abc-d65d8528b6aadbedc148fe97dd44eb9e7f71500a.tar.bz2 abc-d65d8528b6aadbedc148fe97dd44eb9e7f71500a.zip | |
New BMC engine.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index eb728cd0..71becf0b 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -368,7 +368,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) if ( p->pSibls ) Gia_ManPrintChoiceStats( p ); if ( Gia_ManHasMapping(p) ) - Gia_ManPrintMappingStats( p, pPars->fDumpFile ); + Gia_ManPrintMappingStats( p, pPars && pPars->fDumpFile ); if ( pPars && pPars->fNpn && Gia_ManHasMapping(p) && Gia_ManLutSizeMax(p) <= 4 ) Gia_ManPrintNpnClasses( p ); if ( p->vPacking ) |