diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-07 08:57:08 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-07 08:57:08 +0700 |
commit | 460167ec747aed778bfc13f2040dd8a205169fa2 (patch) | |
tree | 22df62d47e07a2c034caa595e1a0c69e872c20f0 /src/aig/gia/giaKf.c | |
parent | 5c9983d089c9cac4eb71bb5ce38838cd47b29d62 (diff) | |
download | abc-460167ec747aed778bfc13f2040dd8a205169fa2.tar.gz abc-460167ec747aed778bfc13f2040dd8a205169fa2.tar.bz2 abc-460167ec747aed778bfc13f2040dd8a205169fa2.zip |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaKf.c')
-rw-r--r-- | src/aig/gia/giaKf.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c index caa88bfc..a823f726 100644 --- a/src/aig/gia/giaKf.c +++ b/src/aig/gia/giaKf.c @@ -1125,9 +1125,9 @@ void Kf_ManPrintStats( Kf_Man_t * p, char * pTitle ) if ( !p->pPars->fVerbose ) return; printf( "%s : ", pTitle ); - printf( "Level =%6lu ", p->pPars->Delay ); - printf( "Area =%9lu ", p->pPars->Area ); - printf( "Edge =%9lu ", p->pPars->Edge ); + printf( "Level =%6lu ", (long)p->pPars->Delay ); + printf( "Area =%9lu ", (long)p->pPars->Area ); + printf( "Edge =%9lu ", (long)p->pPars->Edge ); Abc_PrintTime( 1, "Time", Abc_Clock() - p->clkStart ); fflush( stdout ); } @@ -1173,10 +1173,10 @@ void Kf_ManComputeMapping( Kf_Man_t * p ) Kf_ManComputeRefs( p ); if ( p->pPars->fVerbose ) { - printf( "CutPair = %lu ", p->pSett->CutCount[0] ); - printf( "Merge = %lu ", p->pSett->CutCount[1] ); - printf( "Eval = %lu ", p->pSett->CutCount[2] ); - printf( "Cut = %lu ", p->pSett->CutCount[3] ); + printf( "CutPair = %lu ", (long)p->pSett->CutCount[0] ); + printf( "Merge = %lu ", (long)p->pSett->CutCount[1] ); + printf( "Eval = %lu ", (long)p->pSett->CutCount[2] ); + printf( "Cut = %lu ", (long)p->pSett->CutCount[3] ); Abc_PrintTime( 1, "Time", Abc_Clock() - p->clkStart ); printf( "Memory: " ); printf( "Gia = %.2f MB ", Gia_ManMemory(p->pGia) / (1<<20) ); |