Bug fix in &mfs.

a63319ad · Alan Mishchenko · 0bd26507 · a63319ad
Commit a63319ad authored Jul 25, 2019 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/aig/gia/giaMfs.c
+2 -0

No files found.
--- a/src/aig/gia/giaMfs.c
+++ b/src/aig/gia/giaMfs.c
@@ -393,6 +393,8 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk, int fAllBoxes )
            if ( Vec_IntFind(vMfsTopo, iGroup) >= 0 )
            {
                iLitNew = Vec_IntEntry( vMfs2Gia, iMfsId );
+                if ( iLitNew < 0 )
+                    continue;
                assert( iLitNew >= 0 );
            }
            continue;