From af20a8177bcb91667c9182b900ffcf4fb48a98a2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 2 Aug 2016 12:20:19 -0700 Subject: Bug in 'dump_equiv -n'. --- src/base/abci/abcDress3.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/base/abci') diff --git a/src/base/abci/abcDress3.c b/src/base/abci/abcDress3.c index 6150f41d..33545f0a 100644 --- a/src/base/abci/abcDress3.c +++ b/src/base/abci/abcDress3.c @@ -184,6 +184,7 @@ Gia_Man_t * Abc_NtkAigToGiaTwo( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int fByNam { vMap1 = Vec_IntStartNatural( Abc_NtkCiNum(pNtk1) ); vMap2 = Vec_IntStartNatural( Abc_NtkCiNum(pNtk2) ); + Index = Abc_MaxInt( Vec_IntSize(vMap1), Vec_IntSize(vMap2) ); // report printf( "Matched %d vars by order.", Abc_MinInt(Abc_NtkCiNum(pNtk1), Abc_NtkCiNum(pNtk2)) ); if ( Abc_NtkCiNum(pNtk1) < Abc_NtkCiNum(pNtk2) ) -- cgit v1.2.3