diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:14:44 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:14:44 -0700 |
commit | 804e0261abb949616a3b26b83a63423bea3b673c (patch) | |
tree | 55aff72ceb0e9eaa284a21cd16e3894a933dd369 /src/base/abci/abc.c | |
parent | 4b5ffde3b7dfe4dd6d3c5fd750b61dfbd992a544 (diff) | |
download | abc-804e0261abb949616a3b26b83a63423bea3b673c.tar.gz abc-804e0261abb949616a3b26b83a63423bea3b673c.tar.bz2 abc-804e0261abb949616a3b26b83a63423bea3b673c.zip |
Compiler warnings.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c6b31207..cc52941d 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -10040,7 +10040,7 @@ usage: ***********************************************************************/ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { - Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); +// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); int nCutMax = 1; int nLeafMax = 10; int nDivMax = 50; @@ -29560,7 +29560,7 @@ usage: if ( pPars->DelayTarget == -1 ) sprintf(Buffer, "best possible" ); else - sprintf(Buffer, "%.2f", pPars->DelayTarget ); + sprintf(Buffer, "%d", pPars->DelayTarget ); Abc_Print( -2, "usage: &if2 [-D num] [-vh]\n" ); Abc_Print( -2, "\t performs technology mapping of the network\n" ); Abc_Print( -2, "\t-D num : sets the delay constraint for the mapping [default = %s]\n", Buffer ); @@ -32647,7 +32647,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) { - Gia_Man_t * pTemp = NULL; +// Gia_Man_t * pTemp = NULL; int c, fVerbose = 0; int nFrames = 3; int fSwitch = 0; |