Bug fix in GLA PBA (unfinished).

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 );
 

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);