From 0398ced8243806439b814f21ca7d6e584cea13a1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 22 Jun 2015 23:04:53 -0700 Subject: Version abc90714 committer: Baruch Sterin --- src/map/super/superGate.c | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) (limited to 'src/map/super/superGate.c') 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************************************************************* -- cgit v1.2.3