diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-13 17:53:08 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-13 17:53:08 -0700 |
commit | c25f488a83b361535ad8cb04bb67cf1abbbc9e60 (patch) | |
tree | 5c47c9dd9f87853451abce6e1755a98496114417 /src | |
parent | 6578d9cd00f4b73d5db897db3826448165366143 (diff) | |
download | abc-c25f488a83b361535ad8cb04bb67cf1abbbc9e60.tar.gz abc-c25f488a83b361535ad8cb04bb67cf1abbbc9e60.tar.bz2 abc-c25f488a83b361535ad8cb04bb67cf1abbbc9e60.zip |
Debugging a proof error.
Diffstat (limited to 'src')
-rw-r--r-- | src/misc/vec/vecSet.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/vec/vecSet.h b/src/misc/vec/vecSet.h index 7e5c6c62..b47e05ad 100644 --- a/src/misc/vec/vecSet.h +++ b/src/misc/vec/vecSet.h @@ -213,7 +213,7 @@ static inline int Vec_SetAppend( Vec_Set_t * p, int * pArray, int nSize ) int nWords = Vec_SetWordNum( nSize ); assert( nWords < (1 << p->nPageSize) ); p->nEntries++; - if ( Vec_SetLimit( p->pPages[p->iPage] ) + nWords > (1 << p->nPageSize) ) + if ( Vec_SetLimit( p->pPages[p->iPage] ) + nWords >= (1 << p->nPageSize) ) { if ( ++p->iPage == p->nPagesAlloc ) { @@ -235,7 +235,7 @@ static inline int Vec_SetAppendS( Vec_Set_t * p, int nSize ) { int nWords = Vec_SetWordNum( nSize ); assert( nWords < (1 << p->nPageSize) ); - if ( Vec_SetLimitS( p->pPages[p->iPageS] ) + nWords > (1 << p->nPageSize) ) + 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 ); return Vec_SetHandCurrentS(p) - nWords; |