From 9d81b1f4c885598c85abe3e87340f05f8f142728 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 10 Jul 2013 17:54:33 -0700
Subject: [PATCH] Fix to &era to skip synthesis and print verbose output more
 often.

---
 src/aig/gia/giaEra2.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/aig/gia/giaEra2.c b/src/aig/gia/giaEra2.c
index b8ca65cc7..82c1c22fa 100644
--- a/src/aig/gia/giaEra2.c
+++ b/src/aig/gia/giaEra2.c
@@ -1713,7 +1713,8 @@ int Gia_ManArePerform( Gia_Man_t * pAig, int nStatesMax, int fMiter, int fVerbos
         return -1;
     }
     ABC_FREE( pAig->pCexSeq );
-    p = Gia_ManAreCreate( Gia_ManCompress2(pAig, 0, 0) );
+//    p = Gia_ManAreCreate( Gia_ManCompress2(pAig, 0, 0) );
+    p = Gia_ManAreCreate( Gia_ManDup(pAig) );
     p->fMiter = fMiter;
     Gia_ManAreCubeProcess( p, Gia_ManAreCreateStaInit(p) );
     for ( p->iStaCur = 1; p->iStaCur < p->nStas; p->iStaCur++ )
@@ -1726,7 +1727,7 @@ int Gia_ManArePerform( Gia_Man_t * pAig, int nStatesMax, int fMiter, int fVerbos
             RetValue = -1;
             break;
         }
-        if ( fVerbose && p->iStaCur % 5000 == 0 )
+        if ( fVerbose )//&& p->iStaCur % 5000 == 0 )
             Gia_ManArePrintReport( p, clk, 0 );
     }
     Gia_ManArePrintReport( p, clk, 1 );