From ecafca53d8ec0d8ad779ec187b758837e379847a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 15 Nov 2020 21:30:01 -0800 Subject: Experiments with MFFC computation (bug fix). --- src/aig/gia/giaMf.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/gia/giaMf.c') diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c index 7c67fb88..ecea3955 100644 --- a/src/aig/gia/giaMf.c +++ b/src/aig/gia/giaMf.c @@ -1600,14 +1600,14 @@ static inline int Mf_CutAreaRefed( Mf_Man_t * p, int * pCut ) { int Ela1 = Mf_CutDeref_rec( p, pCut ); int Ela2 = Mf_CutRef_rec( p, pCut ); - //assert( Ela1 == Ela2 ); + assert( Ela1 == Ela2 ); return Ela1; } static inline int Mf_CutAreaDerefed( Mf_Man_t * p, int * pCut ) { int Ela1 = Mf_CutRef_rec( p, pCut ); int Ela2 = Mf_CutDeref_rec( p, pCut ); - //assert( Ela1 == Ela2 ); + assert( Ela1 == Ela2 ); return Ela1; } static inline float Mf_CutFlow( Mf_Man_t * p, int * pCut, int * pTime ) -- cgit v1.2.3