diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-03 15:44:46 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-03 15:44:46 +0200 |
| commit | 718266f64a90f30530051c923ded371f04d7e9d5 (patch) | |
| tree | fc88684bc6dca81a794dee50a1eb331758f58f57 /src/base/abci | |
| parent | 333bd873537afca4018154e8e77f978c8c50a552 (diff) | |
| parent | af20a8177bcb91667c9182b900ffcf4fb48a98a2 (diff) | |
| download | abc-718266f64a90f30530051c923ded371f04d7e9d5.tar.gz abc-718266f64a90f30530051c923ded371f04d7e9d5.tar.bz2 abc-718266f64a90f30530051c923ded371f04d7e9d5.zip | |
Update from parent.
Diffstat (limited to 'src/base/abci')
| -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) ) |