From 675b0892a88a7332c8949e4fd4741ce56642fb5e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 15 Jun 2012 09:51:33 -0700 Subject: Reporing memory usage by the SAT solver in 'bmc3'. --- src/misc/vec/vecSet.h | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'src/misc') diff --git a/src/misc/vec/vecSet.h b/src/misc/vec/vecSet.h index 5f8df449..df2a9a68 100644 --- a/src/misc/vec/vecSet.h +++ b/src/misc/vec/vecSet.h @@ -178,6 +178,25 @@ static inline void Vec_SetFree( Vec_Set_t * p ) ABC_FREE( p ); } +/**Function************************************************************* + + Synopsis [Returns memory in bytes occupied by the vector.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline int Vec_ReportMemory( Vec_Set_t * p ) +{ + int Mem = sizeof(Vec_Set_t); + Mem += p->nPagesAlloc * sizeof(void *); + Mem += sizeof(word) * (1 << p->nPageSize) * (1 + p->iPage); + return Mem; +} + /**Function************************************************************* Synopsis [Appending entries to vector.] -- cgit v1.2.3