Bug fix in 'tempor -s'.

2026-09-03 16:29:14 +02:00 · 2013-10-30 19:09:55 -04:00
parent 9439786d95
commit 431dc61a9e
1 changed files with 1 additions and 0 deletions
@@ -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 );