From 431dc61a9e7c77de232dcfced1954ea0baa83ca2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Oct 2013 19:09:55 -0400
Subject: Bug fix in 'tempor -s'.

---
 src/aig/saig/saigTempor.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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 );
-- 
cgit v1.2.3