diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 19:45:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 19:45:36 -0700 |
| commit | 73ba1458af9b82085451a931268f86547f48e431 (patch) | |
| tree | 491cdcba53d753d768c49992895cba5c2c6e17c3 /src/aig/gia/giaFx.c | |
| parent | cb845d4488af31b44e6913fff57c1c0b7bc52f55 (diff) | |
| download | abc-73ba1458af9b82085451a931268f86547f48e431.tar.gz abc-73ba1458af9b82085451a931268f86547f48e431.tar.bz2 abc-73ba1458af9b82085451a931268f86547f48e431.zip | |
Producing AIG after structural mapping.
Diffstat (limited to 'src/aig/gia/giaFx.c')
| -rw-r--r-- | src/aig/gia/giaFx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaFx.c b/src/aig/gia/giaFx.c index 8a8c7416..4ca28b69 100644 --- a/src/aig/gia/giaFx.c +++ b/src/aig/gia/giaFx.c @@ -193,7 +193,7 @@ Vec_Wec_t * Gia_ManFxRetrieve( Gia_Man_t * p, Vec_Str_t ** pvCompl, int fReverse // compute truth tables nCutSize = Gia_ManLutSizeMax( p ); nWords = Abc_Truth6WordNum( nCutSize ); - vTruths = Gia_ManComputeTruths( p, Abc_MaxInt(6, nCutSize), nItems - Gia_ManCiNum(p), fReverse ); + vTruths = Gia_ManComputeTruths( p, nCutSize, nItems - Gia_ManCiNum(p), fReverse ); vCover = Vec_IntAlloc( 1 << 16 ); // collect cubes vCubes = Vec_WecAlloc( 1000 ); |