Skip to content

A
abc
Commit df418d6c by Alan Mishchenko
Options

Bug fix in timeout of &splitprove.

parent e2036489
Showing with 1 additions and 1 deletions
src/proof/cec/cecSplit.c
...@@ -495,7 +495,7 @@ int Cec_GiaSplitTest2( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, in ...@@ -495,7 +495,7 @@ int Cec_GiaSplitTest2( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, in
Gia_ManStop( pPart ); Gia_ManStop( pPart );
else // UNDEC else // UNDEC
Vec_PtrPush( vStack, pPart ); Vec_PtrPush( vStack, pPart );
if ( nIterMax && Vec_PtrSize(vStack) >= nIterMax ) if ( nIterMax && nIter >= nIterMax )
break; break;
} }
if ( Vec_PtrSize(vStack) == 0 ) if ( Vec_PtrSize(vStack) == 0 )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment