Version abc90714

committer: Baruch Sterin <baruchs@gmail.com>

1 files changed, 12 insertions, 4 deletions

diff --git a/src/map/super/superGate.c b/src/map/super/superGate.c
index 7bc5e703..cb7d8d78 100644
--- a/src/map/super/superGate.c
+++ b/src/map/super/superGate.c
@@ -67,8 +67,8 @@ struct Super_ManStruct_t_
     int                 Time;         // the runtime of the generation procedure
     int                 TimeLimit;    // the runtime limit (in seconds)
     int                 TimeSec;      // the time passed (in seconds)
-    int                 TimeStop;     // the time to stop computation (in miliseconds)
-    int                 TimePrint;    // the time to print message
+    double              TimeStop;     // the time to stop computation (in miliseconds)
+    double              TimePrint;    // the time to print message
 };
 
 struct Super_GateStruct_t_
@@ -1107,10 +1107,12 @@ void Super_WriteLibrary( Super_Man_t * pMan )
 {
     Super_Gate_t * pGate, * pGateNext;
     FILE * pFile;
-    char FileName[100];
+    char * FileName;
     char * pNameGeneric;
     int i, Counter;
 
+    FileName = ABC_ALLOC( char, 10000 );
+
     // get the file name
     pNameGeneric = Extra_FileNameGeneric( pMan->pName );
     sprintf( FileName, "%s.super_old", pNameGeneric );
@@ -1152,6 +1154,8 @@ if ( pMan->fVerbose )
     printf( "The supergates are written using old format \"%s\" ", FileName );
     printf( "(%0.3f Mb).\n", ((double)Extra_FileSize(FileName))/(1<<20) );
 }
+
+    ABC_FREE( FileName );
 }
 
 /**Function*************************************************************
@@ -1251,11 +1255,13 @@ void Super_WriteLibraryTree( Super_Man_t * pMan )
 {
     Super_Gate_t * pSuper;
     FILE * pFile;
-    char FileName[100];
+    char * FileName;
     char * pNameGeneric;
     int i, Counter;
     int posStart;
 
+    FileName = ABC_ALLOC( char, 10000 );
+
     // get the file name
     pNameGeneric = Extra_FileNameGeneric( pMan->pName );
     sprintf( FileName, "%s.super", pNameGeneric );
@@ -1286,6 +1292,8 @@ if ( pMan->fVerbose )
     printf( "The supergates are written using new format \"%s\" ", FileName );
     printf( "(%0.3f Mb).\n", ((double)Extra_FileSize(FileName))/(1<<20) );
 }
+
+    ABC_FREE( FileName );
 }
 
 /**Function*************************************************************