diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 21:48:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 21:48:53 -0700 |
| commit | 51bf12107397b25a79b0c7b593bd3bf74e68e021 (patch) | |
| tree | 49116b35a4f1b27b8e0bb02f99860918a8a7b4a0 /src/proof/cec | |
| parent | d2e42ec081c1783b0e7901749f5496eb2c726f4d (diff) | |
| download | abc-51bf12107397b25a79b0c7b593bd3bf74e68e021.tar.gz abc-51bf12107397b25a79b0c7b593bd3bf74e68e021.tar.bz2 abc-51bf12107397b25a79b0c7b593bd3bf74e68e021.zip | |
Bug fix in seq synthesis due to resent code restructuring.
Diffstat (limited to 'src/proof/cec')
| -rw-r--r-- | src/proof/cec/cecCorr.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/cec/cecCorr.c b/src/proof/cec/cecCorr.c index fd6c6006..3bff4d38 100644 --- a/src/proof/cec/cecCorr.c +++ b/src/proof/cec/cecCorr.c @@ -112,7 +112,7 @@ Gia_Man_t * Gia_ManCorrSpecReduce( Gia_Man_t * p, int nFrames, int fScorr, Vec_I assert( nFrames > 0 ); assert( Gia_ManRegNum(p) > 0 ); assert( p->pReprs != NULL ); - Vec_IntFill( &p->vCopies, -1, (nFrames+fScorr)*Gia_ManObjNum(p) ); + Vec_IntFill( &p->vCopies, (nFrames+fScorr)*Gia_ManObjNum(p), -1 ); Gia_ManSetPhase( p ); pNew = Gia_ManStart( nFrames * Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); @@ -200,7 +200,7 @@ Gia_Man_t * Gia_ManCorrSpecReduce( Gia_Man_t * p, int nFrames, int fScorr, Vec_I Gia_ManAppendCo( pNew, iObjNew ); Vec_IntFree( vXorLits ); Gia_ManHashStop( pNew ); - ABC_FREE( p->vCopies.pArray ); + Vec_IntErase( &p->vCopies ); //Abc_Print( 1, "Before sweeping = %d\n", Gia_ManAndNum(pNew) ); pNew = Gia_ManCleanup( pTemp = pNew ); //Abc_Print( 1, "After sweeping = %d\n", Gia_ManAndNum(pNew) ); @@ -229,7 +229,7 @@ Gia_Man_t * Gia_ManCorrSpecReduceInit( Gia_Man_t * p, int nFrames, int nPrefix, assert( (!fScorr && nFrames > 1) || (fScorr && nFrames > 0) || nPrefix ); assert( Gia_ManRegNum(p) > 0 ); assert( p->pReprs != NULL ); - Vec_IntFill( &p->vCopies, -1, (nFrames+nPrefix+fScorr)*Gia_ManObjNum(p) ); + Vec_IntFill( &p->vCopies, (nFrames+nPrefix+fScorr)*Gia_ManObjNum(p), -1 ); Gia_ManSetPhase( p ); pNew = Gia_ManStart( (nFrames+nPrefix) * Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); @@ -270,7 +270,7 @@ Gia_Man_t * Gia_ManCorrSpecReduceInit( Gia_Man_t * p, int nFrames, int nPrefix, Gia_ManAppendCo( pNew, iObjNew ); Vec_IntFree( vXorLits ); Gia_ManHashStop( pNew ); - ABC_FREE( p->vCopies.pArray ); + Vec_IntErase( &p->vCopies ); //Abc_Print( 1, "Before sweeping = %d\n", Gia_ManAndNum(pNew) ); pNew = Gia_ManCleanup( pTemp = pNew ); //Abc_Print( 1, "After sweeping = %d\n", Gia_ManAndNum(pNew) ); |