diff options
Diffstat (limited to 'src/sat/bsat/satVec.h')
| -rw-r--r-- | src/sat/bsat/satVec.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/sat/bsat/satVec.h b/src/sat/bsat/satVec.h index 01740580..8f7a5fab 100644 --- a/src/sat/bsat/satVec.h +++ b/src/sat/bsat/satVec.h @@ -44,7 +44,11 @@ static inline void veci_new (veci* v) { static inline void veci_delete (veci* v) { ABC_FREE(v->ptr); } static inline int* veci_begin (veci* v) { return v->ptr; } static inline int veci_size (veci* v) { return v->size; } -static inline void veci_resize (veci* v, int k) { assert(k <= v->size); v->size = k; } // only safe to shrink !! +static inline void veci_resize (veci* v, int k) { + assert(k <= v->size); +// memset( veci_begin(v) + k, -1, sizeof(int) * (veci_size(v) - k) ); + v->size = k; +} // only safe to shrink !! static inline int veci_pop (veci* v) { assert(v->size); return v->ptr[--v->size]; } static inline void veci_push (veci* v, int e) { |