From 11dca3aab04295f5d74f8efe02758a12b04c4e7f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 30 Aug 2011 00:42:02 +0700 Subject: Sequential cleanup with symbolic/ternary simulation (bug fix). --- src/aig/saig/saigSimMv.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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 ) -- cgit v1.2.3