diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 20:40:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 20:40:50 -0700 |
| commit | 23879f92000601db485d2ea226711df88c6266b9 (patch) | |
| tree | 6c8ffe04300dbbcae032cda66e372b40cef7c721 /src/sat/bmc/bmcCexDepth.c | |
| parent | 9d14b0c094cc0509bf167166e6fbddeb0f8ba954 (diff) | |
| download | abc-23879f92000601db485d2ea226711df88c6266b9.tar.gz abc-23879f92000601db485d2ea226711df88c6266b9.tar.bz2 abc-23879f92000601db485d2ea226711df88c6266b9.zip | |
Unifying parameters for the &ps command.
Diffstat (limited to 'src/sat/bmc/bmcCexDepth.c')
| -rw-r--r-- | src/sat/bmc/bmcCexDepth.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/sat/bmc/bmcCexDepth.c b/src/sat/bmc/bmcCexDepth.c index 7bdfd0ad..3a6584b1 100644 --- a/src/sat/bmc/bmcCexDepth.c +++ b/src/sat/bmc/bmcCexDepth.c @@ -148,14 +148,14 @@ Gia_Man_t * Bmc_CexTarget( Gia_Man_t * p, int nFrames ) { printf( "%3d : ", i ); if ( i % Gia_ManPiNum(p) == 0 ) - Gia_ManPrintStats( pNew, 0, 0, 0 ); + Gia_ManPrintStats( pNew, NULL ); pNew = Gia_ManDupExist( pTemp = pNew, i ); Gia_ManStop( pTemp ); } - Gia_ManPrintStats( pNew, 0, 0, 0 ); + Gia_ManPrintStats( pNew, NULL ); pNew = Gia_ManDupLastPis( pTemp = pNew, Gia_ManRegNum(p) ); Gia_ManStop( pTemp ); - Gia_ManPrintStats( pNew, 0, 0, 0 ); + Gia_ManPrintStats( pNew, NULL ); pTemp = Gia_ManDupAppendCones( p, &pNew, 1, 1 ); Gia_ManStop( pNew ); Gia_AigerWrite( pTemp, "miter3.aig", 0, 0 ); @@ -352,7 +352,7 @@ Gia_Man_t * Bmc_CexBuildNetwork2Test( Gia_Man_t * p, Abc_Cex_t * pCex, int nFram { printf( "Frame %5d : ", i ); pNew = Bmc_CexBuildNetwork2_( p, pCex, i ); - Gia_ManPrintStats( pNew, 0, 0, 0 ); + Gia_ManPrintStats( pNew, NULL ); Vec_PtrPush( vCones, pNew ); } pNew = Gia_ManDupAppendCones( p, (Gia_Man_t **)Vec_PtrArray(vCones), Vec_PtrSize(vCones), 1 ); |