From a63319ade8bae79118dab7b8b4c38465ad164cee Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 25 Jul 2019 23:15:18 +0700
Subject: Bug fix in &mfs.

---
 src/aig/gia/giaMfs.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c
index da48570b..0ddc00ae 100644
--- 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;
-- 
cgit v1.2.3