From c50d108f984c2e421f1c8d9b545a19d31d10be3b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 13 Jul 2012 18:15:32 -0700 Subject: Debugging a proof error. --- src/misc/vec/vecSet.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/misc/vec/vecSet.h b/src/misc/vec/vecSet.h index b47e05ad..153fb15f 100644 --- a/src/misc/vec/vecSet.h +++ b/src/misc/vec/vecSet.h @@ -238,6 +238,7 @@ static inline int Vec_SetAppendS( Vec_Set_t * p, int nSize ) if ( Vec_SetLimitS( p->pPages[p->iPageS] ) + nWords >= (1 << p->nPageSize) ) Vec_SetWriteLimitS( p->pPages[++p->iPageS], 2 ); Vec_SetIncLimitS( p->pPages[p->iPageS], nWords ); + assert( Vec_SetHandCurrentS(p) - nWords < (1 << p->nPageSize) ); return Vec_SetHandCurrentS(p) - nWords; } -- cgit v1.2.3