From d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 9 Nov 2011 15:58:31 -0800
Subject: Bug fix in GLA PBA (unfinished).

---
 src/aig/gia/giaDup.c      | 5 ++++-
 src/aig/saig/saigGlaPba.c | 4 ++--
 2 files changed, 6 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
index 974f39d0..1faa13cd 100644
--- a/src/aig/gia/giaDup.c
+++ b/src/aig/gia/giaDup.c
@@ -1672,7 +1672,10 @@ Gia_Man_t * Gia_ManDupAbsGates( Gia_Man_t * p, Vec_Int_t * vGateClasses )
         Gia_ObjRoToRi(p, pObj)->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(Gia_ObjRoToRi(p, pObj)) );
     Gia_ManSetRegNum( pNew, Vec_IntSize(vFlops) );
     // clean up
-    pNew = Gia_ManSeqCleanup( pTemp = pNew );
+//    pNew = Gia_ManSeqCleanup( pTemp = pNew );
+    pNew = Gia_ManCleanup( pTemp = pNew );
+    if ( Gia_ManObjNum(pTemp) != Gia_ManObjNum(pNew) )
+        printf( "Gia_ManDupAbsGates() Internal error: object mismatch.\n" );
     assert( Gia_ManObjNum(pTemp) == Gia_ManObjNum(pNew) );
     Gia_ManStop( pTemp );
 
diff --git a/src/aig/saig/saigGlaPba.c b/src/aig/saig/saigGlaPba.c
index 2dd6782e..7b1efbf9 100644
--- a/src/aig/saig/saigGlaPba.c
+++ b/src/aig/saig/saigGlaPba.c
@@ -17,7 +17,7 @@
   Revision    [$Id: saigGlaPba.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
 
 ***********************************************************************/
-
+ 
 #include "saig.h"
 #include "satSolver.h"
 #include "satStore.h"
@@ -74,7 +74,7 @@ int Abc_Clock( int Timer, int fReset )
 {
     static Time[16], Clock[16];
     int Clock2, Diff;
-    assert( Timer > 0 && Timer < 16 );
+    assert( Timer >= 0 && Timer < 16 );
     if ( fReset )
     {
         Time[Timer] = time(NULL);
-- 
cgit v1.2.3