Producing AIG after structural mapping.

3bad7aed · Alan Mishchenko · e48cfd92 · 3bad7aed
Commit 3bad7aed authored Sep 30, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 2 deletions

src/aig/gia/giaJf.c
+5 -2

No files found.
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -1517,8 +1517,11 @@ Gia_Man_t * Jf_ManDeriveGia( Jf_Man_t * p )
    Gia_ManSetRegNum( pNew, Gia_ManRegNum(p->pGia) );
 //    Dsm_ManReportStats();
    // perform cleanup
-    pNew = Gia_ManCleanup( pTemp = pNew );
+    if ( !p->pPars->fCutMin )
-    Gia_ManStop( pTemp );
+    {
+        pNew = Gia_ManCleanup( pTemp = pNew );
+        Gia_ManStop( pTemp );
+    }
    return pNew;
 }