diff options
Diffstat (limited to 'src/proof/cec/cecSplit.c')
| -rw-r--r-- | src/proof/cec/cecSplit.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) |