From df418d6cba58a529e02ff143388c8514282bc70b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 16 Jun 2014 21:52:09 -0700
Subject: Bug fix in timeout of &splitprove.

---
 src/proof/cec/cecSplit.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/proof/cec/cecSplit.c b/src/proof/cec/cecSplit.c
index ece365bc..9060a6d3 100644
--- a/src/proof/cec/cecSplit.c
+++ b/src/proof/cec/cecSplit.c
@@ -495,7 +495,7 @@ int Cec_GiaSplitTest2( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, in
             Gia_ManStop( pPart );
         else               // UNDEC
             Vec_PtrPush( vStack, pPart );
-        if ( nIterMax && Vec_PtrSize(vStack) >= nIterMax )
+        if ( nIterMax && nIter >= nIterMax )
             break;
     }
     if ( Vec_PtrSize(vStack) == 0 )
-- 
cgit v1.2.3