From 65dce2fa8084617ec3e5df3ed04bf3031234ae14 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 2 Apr 2020 17:52:43 -0700 Subject: Corner-case bug in MiniLUT computation. --- src/aig/gia/giaMini.c | 1 + 1 file changed, 1 insertion(+) 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 -- cgit v1.2.3