From 1ce537e99298bb61263534c9e16496d687ace526 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 7 Mar 2013 13:04:16 -0800
Subject: [PATCH] Misc changes.
---
src/aig/gia/giaCone.c | 19 ++++++++++++++-----
src/base/cmd/cmdHist.c | 4 ++--
2 files changed, 16 insertions(+), 7 deletions(-)
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c
index 0659b70..da4918e 100644
--- a/src/aig/gia/giaCone.c
+++ b/src/aig/gia/giaCone.c
@@ -169,12 +169,20 @@ void Opa_ManPerform( Gia_Man_t * pGia )
{
Opa_Man_t * p;
Gia_Obj_t * pObj;
- int i;
-
+ int i, Limit, Count = 0;
+
p = Opa_ManStart( pGia );
+ Limit = Vec_IntSize(p->vFront);
//Opa_ManPrint2( p );
Gia_ManForEachObjVec( p->vFront, pGia, pObj, i )
{
+ if ( i == Limit )
+ {
+ printf( "%6d : %6d -> %6d\n", ++Count, i, p->nParts );
+ Limit = Vec_IntSize(p->vFront);
+ if ( Count > 1 )
+ Opa_ManPrint2( p );
+ }
// printf( "*** Object %d ", Gia_ObjId(pGia, pObj) );
if ( Gia_ObjIsAnd(pObj) )
{
@@ -184,11 +192,12 @@ void Opa_ManPerform( Gia_Man_t * pGia )
else if ( Gia_ObjIsCo(pObj) )
Opa_ManMoveOne( p, pObj, Gia_ObjFanin0(pObj) );
else assert( 0 );
- if ( i % 10 == 0 )
- printf( "%d ", p->nParts );
-//Opa_ManPrint2( p );
+// if ( i % 10 == 0 )
+// printf( "%d ", p->nParts );
if ( p->nParts == 1 )
break;
+ if ( Count == 5 )
+ break;
}
printf( "\n" );
Opa_ManStop( p );
diff --git a/src/base/cmd/cmdHist.c b/src/base/cmd/cmdHist.c
index a9e2d18..8275bc2 100644
--- a/src/base/cmd/cmdHist.c
+++ b/src/base/cmd/cmdHist.c
@@ -47,8 +47,8 @@ ABC_NAMESPACE_IMPL_START
***********************************************************************/
void Cmd_HistoryAddCommand( Abc_Frame_t * p, const char * command )
{
- int nLastLooked = 10; // do not add history if the same entry appears among the last entries
- int nLastSaved = 500; // when saving a file, save no more than this number of last entries
+ int nLastLooked = 10; // do not add history if the same entry appears among the last entries
+ int nLastSaved = 1000; // when saving a file, save no more than this number of last entries
char Buffer[ABC_MAX_STR];
int Len;
if ( p->fBatchMode )
--
libgit2 0.26.0