diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-30 00:42:02 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-30 00:42:02 +0700 |
| commit | 11dca3aab04295f5d74f8efe02758a12b04c4e7f (patch) | |
| tree | d7f2ba888c4de9d1c56e6dbe572acae0f00c34f7 /src | |
| parent | 48bdc5144a4b8579393c3ed46ad70b84c4bd1dc2 (diff) | |
| download | abc-11dca3aab04295f5d74f8efe02758a12b04c4e7f.tar.gz abc-11dca3aab04295f5d74f8efe02758a12b04c4e7f.tar.bz2 abc-11dca3aab04295f5d74f8efe02758a12b04c4e7f.zip | |
Sequential cleanup with symbolic/ternary simulation (bug fix).
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/saig/saigSimMv.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigSimMv.c b/src/aig/saig/saigSimMv.c index 95cc01b7..7076d07b 100644 --- a/src/aig/saig/saigSimMv.c +++ b/src/aig/saig/saigSimMv.c @@ -838,7 +838,7 @@ Vec_Ptr_t * Saig_MvManDeriveMap( Saig_MvMan_t * p, int fVerbose ) Vec_PtrWriteEntry( vMap, Saig_ManPiNum(p->pAig) + FlopK, Aig_ManConst0(p->pAig) ); Counter1++; } - Vec_IntFree( vConst0 ); + Vec_IntFree( vConst0 ); // detect equivalent (non-ternary flops) Vec_IntForEachEntry( vBinValued, FlopK, k ) @@ -854,7 +854,7 @@ Vec_Ptr_t * Saig_MvManDeriveMap( Saig_MvMan_t * p, int fVerbose ) continue; // set the equivalence Vec_PtrWriteEntry( vMap, Saig_ManPiNum(p->pAig) + FlopJ, Saig_ManLo(p->pAig, FlopK) ); - Vec_IntWriteEntry( vBinValued, FlopJ, -1 ); + Vec_IntWriteEntry( vBinValued, j, -1 ); Counter2++; } if ( fVerbose ) |