Corner-case bug in MiniLUT.

a02bdebc · Alan Mishchenko · 32288c69 · a02bdebc
Commit a02bdebc authored Jan 25, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/aig/gia/giaMini.c
+1 -0

No files found.
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -295,6 +295,7 @@ Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia )
    word Truth;
    assert( Gia_ManHasMapping(pGia) );
    LutSize = Gia_ManLutSizeMax( pGia );
+    LutSize = Abc_MaxInt( LutSize, 2 );
    assert( LutSize >= 2 );
    // create the manager
    p = Mini_LutStart( LutSize );