diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-14 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-14 08:01:00 -0700 |
commit | 9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4 (patch) | |
tree | 52895e3901def014deaa5920d92637a8171d8acd /src/sat | |
parent | f2b6b3be958e6d5629dc8a8b6c1b77195c16a2aa (diff) | |
download | abc-9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4.tar.gz abc-9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4.tar.bz2 abc-9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4.zip |
Version abc50814
Diffstat (limited to 'src/sat')
-rw-r--r-- | src/sat/sim/simMan.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/sat/sim/simMan.c b/src/sat/sim/simMan.c index dbc4fc5c..1dd4053c 100644 --- a/src/sat/sim/simMan.c +++ b/src/sat/sim/simMan.c @@ -51,13 +51,13 @@ Sim_Man_t * Sim_ManStart( Abc_Ntk_t * pNtk ) // internal simulation information p->nSimBits = 2048; p->nSimWords = SIM_NUM_WORDS(p->nSimBits); - p->vSim0 = Sim_UtilInfoAlloc( pNtk->vObjs->nSize, p->nSimWords, 0 ); - p->vSim1 = Sim_UtilInfoAlloc( pNtk->vObjs->nSize, p->nSimWords, 0 ); + p->vSim0 = Sim_UtilInfoAlloc( Abc_NtkObjNumMax(pNtk), p->nSimWords, 0 ); + p->vSim1 = Sim_UtilInfoAlloc( Abc_NtkObjNumMax(pNtk), p->nSimWords, 0 ); // support information p->nSuppBits = Abc_NtkCiNum(pNtk); p->nSuppWords = SIM_NUM_WORDS(p->nSuppBits); - p->vSuppStr = Sim_UtilInfoAlloc( pNtk->vObjs->nSize, p->nSuppWords, 1 ); - p->vSuppFun = Sim_UtilInfoAlloc( Abc_NtkCoNum(p->pNtk), p->nSuppWords, 1 ); + p->vSuppStr = Sim_UtilInfoAlloc( Abc_NtkObjNumMax(pNtk), p->nSuppWords, 1 ); + p->vSuppFun = Sim_UtilInfoAlloc( Abc_NtkCoNum(p->pNtk), p->nSuppWords, 1 ); // other data p->pMmPat = Extra_MmFixedStart( sizeof(Sim_Pat_t) + p->nSuppWords * sizeof(unsigned) ); p->vFifo = Vec_PtrAlloc( 100 ); |