Variable timeframe abstraction.

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;
 }