diff options
Diffstat (limited to 'src/aig/fra/fraSec.c')
| -rw-r--r-- | src/aig/fra/fraSec.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index 573d3570..17a7335c 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -228,9 +228,11 @@ PRT( "Time", clock() - clk ); } if ( pNew->nRegs ) - pNew = Aig_ManConstReduce( pNew, 0 ); + pNew = Aig_ManConstReduce( pNew, 0 ); // perform sequential simulation + if ( pNew->nRegs ) + { clk = clock(); pSml = Fra_SmlSimulateSeq( pNew, 0, 128 * nFrames, 1 + 16/(1+Aig_ManNodeNum(pNew)/1000) ); if ( fVerbose ) @@ -250,6 +252,7 @@ PRT( "Time", clock() - clkTotal ); return RetValue; } Fra_SmlStop( pSml ); + } } // get the miter status |