3 files changed, 43 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c
index f296482d..da9d63cc 100644
--- a/src/aig/gia/giaAbsGla2.c
+++ b/src/aig/gia/giaAbsGla2.c
@@ -1288,7 +1288,7 @@ int Ga2_GlaAbsCount( Ga2_Man_t * p, int fRo, int fAnd )
 ***********************************************************************/
 void Ga2_ManAbsPrintFrame( Ga2_Man_t * p, int nFrames, int nConfls, int nCexes, clock_t Time, int fFinal )
 {
-    if ( Abc_FrameIsBatchMode() && !fFinal )
+    if ( Abc_FrameIsBatchMode() && !(((fFinal && nCexes) || p->pPars->fVeryVerbose)) )
         return;
     Abc_Print( 1, "%4d :", nFrames );
     Abc_Print( 1, "%4d", Abc_MinInt(100, 100 * Vec_IntSize(p->vAbs) / p->nMarked) ); 
diff --git a/src/map/scl/sclLoad.c b/src/map/scl/sclLoad.c
index 3dd66f6a..3d763bd7 100644
--- a/src/map/scl/sclLoad.c
+++ b/src/map/scl/sclLoad.c
@@ -154,8 +154,8 @@ void Abc_SclComputeLoad( SC_Man * p )
             pLoad->rise += Vec_FltEntry(vWireCaps, k);
             pLoad->fall += Vec_FltEntry(vWireCaps, k);
         }
+        Vec_FltFree( vWireCaps );
     }
-    Vec_FltFree( vWireCaps );
 }
 void Abc_SclUpdateLoad( SC_Man * p, Abc_Obj_t * pObj, SC_Cell * pOld, SC_Cell * pNew )
 {
diff --git a/src/misc/extra/extraUtilFile.c b/src/misc/extra/extraUtilFile.c
index de8a11cb..f43ccb5f 100644
--- a/src/misc/extra/extraUtilFile.c
+++ b/src/misc/extra/extraUtilFile.c
@@ -686,6 +686,47 @@ void Extra_FileSort( char * pFileName, char * pFileNameOut )
 
 /**Function*************************************************************
 
+  Synopsis    [Appends line number in the end.]
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Extra_FileLineNumAdd( char * pFileName, char * pFileNameOut )
+{
+    char Buffer[1000];
+    FILE * pFile;
+    FILE * pFile2;
+    int iLine;
+    pFile = fopen( pFileName, "rb" );
+    if ( pFile == NULL )
+    {
+        printf( "Extra_FileLineNumAdd(): Cannot open file \"%s\".\n", pFileName );
+        return;
+    }
+    pFile2 = fopen( pFileNameOut, "wb" );
+    if ( pFile2 == NULL )
+    {
+        fclose( pFile );
+        printf( "Extra_FileLineNumAdd(): Cannot open file \"%s\".\n", pFileNameOut );
+        return;
+    }
+    for ( iLine = 0; fgets( Buffer, 1000, pFile ); iLine++ )
+    {
+        sprintf( Buffer + strlen(Buffer) - 2, "%03d\n%c", iLine, 0 );
+        fputs( Buffer, pFile2 );
+    }
+    fclose( pFile );
+    fclose( pFile2 );
+    // report the result
+    printf( "The resulting file is \"%s\".\n", pFileNameOut );
+}
+
+/**Function*************************************************************
+
   Synopsis    []
 
   Description []