diff options
Diffstat (limited to 'src/aig/saig/saigTempor.c')
| -rw-r--r-- | src/aig/saig/saigTempor.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/saig/saigTempor.c b/src/aig/saig/saigTempor.c index d459b664..d800537d 100644 --- a/src/aig/saig/saigTempor.c +++ b/src/aig/saig/saigTempor.c @@ -241,6 +241,7 @@ Aig_Man_t * Saig_ManTempor( Aig_Man_t * pAig, int nFrames, int TimeOut, int nCon } assert( iLastBefore < nFramesFinished ); printf( "BMC succeeded to frame %d. Adjusting frame count to be (%d) based on the last transient signal.\n", nFramesFinished, iLastBefore ); + nFrames = iLastBefore; } } Vec_IntFreeP( &vTransSigs ); |