Suggested fix to not collect leaves of black boxes.

berkeley-abc · Jan 11, 2020 · 9e0fa47 · 9e0fa47
1 parent dccd399
commit 9e0fa47
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c
@@ -161,13 +161,13 @@ Sfm_Ntk_t * Gia_ManExtractMfs( Gia_Man_t * p )
         {
             nBoxIns = Tim_ManBoxInputNum( pManTime, k );
             nBoxOuts = Tim_ManBoxOutputNum( pManTime, k );
-            // collect truth table leaves
-            Vec_IntClear( vLeaves );
-            for ( i = 0; i < nBoxIns; i++ )
-                Vec_IntPush( vLeaves, Gia_ObjId(p->pAigExtra, Gia_ManCi(p->pAigExtra, i)) );
             // iterate through box outputs
             if ( !Tim_ManBoxIsBlack(pManTime, k) ) //&& Tim_ManBoxInputNum(pManTime, k) <= 6 )
             {
+                // collect truth table leaves
+                Vec_IntClear( vLeaves );
+                for ( i = 0; i < nBoxIns; i++ )
+                    Vec_IntPush( vLeaves, Gia_ObjId(p->pAigExtra, Gia_ManCi(p->pAigExtra, i)) );
                 for ( j = 0; j < nBoxOuts; j++ )
                 {
                     // CI corresponding to the box outputs