diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-02 20:28:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-02 20:28:01 -0700 |
| commit | a80a91e45f5edf59fb7475ae1a461ba3602c6731 (patch) | |
| tree | da1dbf75d8451da0644549aa5d182ffd7b759e09 /src/aig/gia/giaPat2.c | |
| parent | d13e33cdd8451ad4ecfcb9093fbaa628f0e6659d (diff) | |
| download | abc-a80a91e45f5edf59fb7475ae1a461ba3602c6731.tar.gz abc-a80a91e45f5edf59fb7475ae1a461ba3602c6731.tar.bz2 abc-a80a91e45f5edf59fb7475ae1a461ba3602c6731.zip | |
Bug fix and new procedures.
Diffstat (limited to 'src/aig/gia/giaPat2.c')
| -rw-r--r-- | src/aig/gia/giaPat2.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaPat2.c b/src/aig/gia/giaPat2.c index 094bdee1..f14ce34a 100644 --- a/src/aig/gia/giaPat2.c +++ b/src/aig/gia/giaPat2.c @@ -1242,6 +1242,8 @@ Vec_Wrd_t * Min_ManRemapSims( int nInputs, Vec_Int_t * vMap, Vec_Wrd_t * vSimsPi { int i, iObj, nWords = Vec_WrdSize(vSimsPi)/Vec_IntSize(vMap); Vec_Wrd_t * vSimsNew = Vec_WrdStart( 2 * nInputs * nWords ); + //Vec_Wrd_t * vSimsNew = Vec_WrdStartRandom( nInputs * nWords ); + //Vec_WrdFillExtra( vSimsNew, 2 * nInputs * nWords, 0 ); assert( Vec_WrdSize(vSimsPi)%Vec_IntSize(vMap) == 0 ); Vec_WrdShrink( vSimsNew, Vec_WrdSize(vSimsNew)/2 ); Vec_IntForEachEntry( vMap, iObj, i ) |