diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-30 19:09:55 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-30 19:09:55 -0400 |
| commit | 431dc61a9e7c77de232dcfced1954ea0baa83ca2 (patch) | |
| tree | c5f0c20fb2ba3c1bd5048e4846c9c6a219e4fb48 | |
| parent | 9439786d95becb9f579b6d542a6dfa4286a1401f (diff) | |
| download | abc-431dc61a9e7c77de232dcfced1954ea0baa83ca2.tar.gz abc-431dc61a9e7c77de232dcfced1954ea0baa83ca2.tar.bz2 abc-431dc61a9e7c77de232dcfced1954ea0baa83ca2.zip | |
Bug fix in 'tempor -s'.
| -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 ); |