diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-12 19:44:38 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-12 19:44:38 -0800 |
| commit | 92a1c5b58ef78321c5731225f6de6227561d3178 (patch) | |
| tree | 712803965638dd0a1d49796ca621f1a055a46aae /src/aig/aig/aigCuts.c | |
| parent | a4aaf110adca0fd9175b90c163d21455fa2d0210 (diff) | |
| download | abc-92a1c5b58ef78321c5731225f6de6227561d3178.tar.gz abc-92a1c5b58ef78321c5731225f6de6227561d3178.tar.bz2 abc-92a1c5b58ef78321c5731225f6de6227561d3178.zip | |
Several bug fixes and other improvements.
Diffstat (limited to 'src/aig/aig/aigCuts.c')
| -rw-r--r-- | src/aig/aig/aigCuts.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/aig/aig/aigCuts.c b/src/aig/aig/aigCuts.c index 6de19484..1bcf69ce 100644 --- a/src/aig/aig/aigCuts.c +++ b/src/aig/aig/aigCuts.c @@ -56,9 +56,7 @@ Aig_ManCut_t * Aig_ManCutStart( Aig_Man_t * pMan, int nCutsMax, int nLeafMax, in p->fTruth = fTruth; p->fVerbose = fVerbose; p->pAig = pMan; - // allocate room for cuts and equivalent nodes - p->pCuts = ABC_ALLOC( Aig_Cut_t *, Aig_ManObjNumMax(pMan) ); - memset( p->pCuts, 0, sizeof(Aig_Obj_t *) * Aig_ManObjNumMax(pMan) ); + p->pCuts = ABC_CALLOC( Aig_Cut_t *, Aig_ManObjNumMax(pMan) ); // allocate memory manager p->nTruthWords = Aig_TruthWordNum(nLeafMax); p->nCutSize = sizeof(Aig_Cut_t) + sizeof(int) * nLeafMax + fTruth * sizeof(unsigned) * p->nTruthWords; |