diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 20:40:38 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 20:40:38 -0800 |
| commit | 59ea100dbff76857143df08cd07777e0882b81f8 (patch) | |
| tree | 2f519493e7561f02cfbfdd1a68175f4e1d120ba2 /src/sat/bsat/satVec.h | |
| parent | d931de7febd2616acb915ef168011ad99466bb2d (diff) | |
| download | abc-59ea100dbff76857143df08cd07777e0882b81f8.tar.gz abc-59ea100dbff76857143df08cd07777e0882b81f8.tar.bz2 abc-59ea100dbff76857143df08cd07777e0882b81f8.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/sat/bsat/satVec.h')
| -rw-r--r-- | src/sat/bsat/satVec.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sat/bsat/satVec.h b/src/sat/bsat/satVec.h index 8f7a5fab..61a45ca7 100644 --- a/src/sat/bsat/satVec.h +++ b/src/sat/bsat/satVec.h @@ -56,6 +56,12 @@ static inline void veci_push (veci* v, int e) // int newsize = v->cap * 2;//+1; int newsize = (v->cap < 4) ? v->cap * 2 : (v->cap / 2) * 3; v->ptr = ABC_REALLOC( int, v->ptr, newsize ); + if ( v->ptr == NULL ) + { + printf( "Failed to realloc memory from %.1f Mb to %.1f Mb.\n", + 1.0 * v->cap / (1<<20), 1.0 * newsize / (1<<20) ); + fflush( stdout ); + } v->cap = newsize; } v->ptr[v->size++] = e; } |