diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-15 09:51:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-15 09:51:33 -0700 |
| commit | 675b0892a88a7332c8949e4fd4741ce56642fb5e (patch) | |
| tree | 01d90cdf1e54fea0468d593bfb02972408c4cb0e /src/misc | |
| parent | 2f1f0ac93dbd280dbe944e258ab48296759d3493 (diff) | |
| download | abc-675b0892a88a7332c8949e4fd4741ce56642fb5e.tar.gz abc-675b0892a88a7332c8949e4fd4741ce56642fb5e.tar.bz2 abc-675b0892a88a7332c8949e4fd4741ce56642fb5e.zip | |
Reporing memory usage by the SAT solver in 'bmc3'.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/vec/vecSet.h | 19 |
1 files changed, 19 insertions, 0 deletions
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 @@ -180,6 +180,25 @@ static inline void Vec_SetFree( Vec_Set_t * 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.] Description [] |