diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-16 21:52:09 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-16 21:52:09 -0700 |
| commit | df418d6cba58a529e02ff143388c8514282bc70b (patch) | |
| tree | 5527550f566baf44e422b4e5b0321f9a9d37ef00 /src/proof/cec | |
| parent | e20364896eeb0fba7d23fe6047fe8cd05c6ad648 (diff) | |
| download | abc-df418d6cba58a529e02ff143388c8514282bc70b.tar.gz abc-df418d6cba58a529e02ff143388c8514282bc70b.tar.bz2 abc-df418d6cba58a529e02ff143388c8514282bc70b.zip | |
Bug fix in timeout of &splitprove.
Diffstat (limited to 'src/proof/cec')
| -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 ) |