Commit f06217e2 authored by Alan Mishchenko's avatar Alan Mishchenko

Compiler warnings.

parent 73dcdab6
...@@ -5543,6 +5543,10 @@ SOURCE=.\src\proof\cec\cecSolve.c ...@@ -5543,6 +5543,10 @@ SOURCE=.\src\proof\cec\cecSolve.c
# End Source File # End Source File
# Begin Source File # Begin Source File
SOURCE=.\src\proof\cec\cecSolveG.c
# End Source File
# Begin Source File
SOURCE=.\src\proof\cec\cecSplit.c SOURCE=.\src\proof\cec\cecSplit.c
# End Source File # End Source File
# Begin Source File # Begin Source File
......
...@@ -2460,6 +2460,40 @@ Vec_Int_t * Gia_ManComputeDistance( Gia_Man_t * p, int iObj, Vec_Int_t * vObjs, ...@@ -2460,6 +2460,40 @@ Vec_Int_t * Gia_ManComputeDistance( Gia_Man_t * p, int iObj, Vec_Int_t * vObjs,
} }
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
void Gia_ComputeTest()
{
char * pStart, Line [1000]; float Total = 0;
char * pFileName = "data.txt";
FILE * pFile = fopen( pFileName, "r" );
if ( pFile == NULL )
{ printf( "Input file \"%s\" cannot be opened.\n", pFileName ); return; }
while ( fgets( Line, 1000, pFile ) != NULL )
{
if ( !strstr(Line, "xxx") )
continue;
if ( !strstr(Line, "yyy") )
continue;
//printf( "%s", Line );
pStart = strstr(Line, "zzz");
if ( pStart == NULL )
continue;
//printf( "%s", pStart + 4 );
Total += -atof( pStart + 4 );
}
printf( "Total = %.2f\n", Total );
fclose( pFile );
}
//////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////
/// END OF FILE /// /// END OF FILE ///
......
...@@ -36669,6 +36669,7 @@ int Abc_CommandAbc9Srm( Abc_Frame_t * pAbc, int argc, char ** argv ) ...@@ -36669,6 +36669,7 @@ int Abc_CommandAbc9Srm( Abc_Frame_t * pAbc, int argc, char ** argv )
extern Gia_Man_t * Gia_ManCombSpecReduce( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManCombSpecReduce( Gia_Man_t * p );
pTemp = Gia_ManCombSpecReduce( pAbc->pGia ); pTemp = Gia_ManCombSpecReduce( pAbc->pGia );
Abc_FrameUpdateGia( pAbc, pTemp ); Abc_FrameUpdateGia( pAbc, pTemp );
Result = 0;
return 0; return 0;
} }
sprintf(pFileName, "gsrm%s.aig", fSpeculate? "" : "s" ); sprintf(pFileName, "gsrm%s.aig", fSpeculate? "" : "s" );
...@@ -583,7 +583,7 @@ void Tab_DecomposeTest() ...@@ -583,7 +583,7 @@ void Tab_DecomposeTest()
Vec_Int_t * vPrimes = Abc_GenPrimes( nVars ); Vec_Int_t * vPrimes = Abc_GenPrimes( nVars );
Tab_Man_t * p = Tab_ManAlloc( nVars, Vec_IntSize(vPrimes) ); Tab_Man_t * p = Tab_ManAlloc( nVars, Vec_IntSize(vPrimes) );
Tab_ManStart( p, vPrimes ); Tab_ManStart( p, vPrimes );
printf( "Created %d cubes dependent on %d variables with %d literals.\n", p->nCubes, p->nVars ); printf( "Created %d cubes dependent on %d variables.\n", p->nCubes, p->nVars );
vPairs = Tab_ManCollectDist1( p, 0 ); vPairs = Tab_ManCollectDist1( p, 0 );
printf( "Collected %d pairs.\n", Vec_IntSize(vPairs)/2 ); printf( "Collected %d pairs.\n", Vec_IntSize(vPairs)/2 );
Vec_IntFree( vPairs ); Vec_IntFree( vPairs );
......
...@@ -121,8 +121,8 @@ static inline void sdbl_test() ...@@ -121,8 +121,8 @@ static inline void sdbl_test()
{ {
sdbl_t ten100_ = ABC_CONST(0x014c924d692ca61b); sdbl_t ten100_ = ABC_CONST(0x014c924d692ca61b);
printf("%f\n", sdbl2double(ten100_)); printf("%f\n", sdbl2double(ten100_));
printf("%016lX\n", double2sdbl(1 /0.95)); //printf("%016lX\n", double2sdbl(1 /0.95));
printf("%016lX\n", SDBL_CONST1); //printf("%016lX\n", SDBL_CONST1);
printf("%f\n", sdbl2double(SDBL_CONST1)); printf("%f\n", sdbl2double(SDBL_CONST1));
printf("%f\n", sdbl2double(ABC_CONST(0x000086BCA1AF286B))); printf("%f\n", sdbl2double(ABC_CONST(0x000086BCA1AF286B)));
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment