diff options
Diffstat (limited to 'src/aig/cec/cecCore.c')
-rw-r--r-- | src/aig/cec/cecCore.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/cec/cecCore.c b/src/aig/cec/cecCore.c index 8e66179f..9274dcb8 100644 --- a/src/aig/cec/cecCore.c +++ b/src/aig/cec/cecCore.c @@ -282,6 +282,9 @@ p->timeSim += clock() - clk; // Gia_ManEquivTransform( p->pAig, 1 ); } pSrm = Cec_ManFraSpecReduction( p ); + +// Gia_WriteAiger( pSrm, "gia_srm.aig", 0, 0 ); + if ( pPars->fVeryVerbose ) Gia_ManPrintStats( pSrm ); if ( Gia_ManCoNum(pSrm) == 0 ) |