diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-02 17:52:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-02 17:52:43 -0700 |
| commit | 65dce2fa8084617ec3e5df3ed04bf3031234ae14 (patch) | |
| tree | 492fd109080834df068f9ba3ad1f29879071a2a4 | |
| parent | 3f758f20e85eeab1bd0311ab6a4049971f54cbc0 (diff) | |
| download | abc-65dce2fa8084617ec3e5df3ed04bf3031234ae14.tar.gz abc-65dce2fa8084617ec3e5df3ed04bf3031234ae14.tar.bz2 abc-65dce2fa8084617ec3e5df3ed04bf3031234ae14.zip | |
Corner-case bug in MiniLUT computation.
| -rw-r--r-- | src/aig/gia/giaMini.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c index 78d99ca8..ce42f73c 100644 --- a/src/aig/gia/giaMini.c +++ b/src/aig/gia/giaMini.c @@ -317,6 +317,7 @@ Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia ) p = Mini_LutStart( LutSize ); // create primary inputs Gia_ManFillValue( pGia ); + Gia_ManConst0(pGia)->Value = 0; Gia_ManForEachCi( pGia, pObj, i ) pObj->Value = Mini_LutCreatePi(p); // create internal nodes |