diff options
Diffstat (limited to 'src/map/super/superGate.c')
| -rw-r--r-- | src/map/super/superGate.c | 16 |
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************************************************************* |