diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-08-02 12:20:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-08-02 12:20:19 -0700 |
| commit | af20a8177bcb91667c9182b900ffcf4fb48a98a2 (patch) | |
| tree | e1d9f1ab4b83de9a08b9f24c30ae6428dbc44bbd | |
| parent | 33c6d01291433cb3cb6560856280dd3a9cb8fb58 (diff) | |
| download | abc-af20a8177bcb91667c9182b900ffcf4fb48a98a2.tar.gz abc-af20a8177bcb91667c9182b900ffcf4fb48a98a2.tar.bz2 abc-af20a8177bcb91667c9182b900ffcf4fb48a98a2.zip | |
Bug in 'dump_equiv -n'.
| -rw-r--r-- | src/base/abci/abcDress3.c | 1 |
1 files changed, 1 insertions, 0 deletions
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) ) |