diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-04 14:29:57 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-04 14:29:57 -0800 |
| commit | bc288a76332b1684b0183084aee0a4f46c617b62 (patch) | |
| tree | dd8054d1408836d7e1bdc51eb6b2af2fb351eb70 /src/opt | |
| parent | 9842e82326b8e0a6605460888ae56757cb9a9a0f (diff) | |
| download | abc-bc288a76332b1684b0183084aee0a4f46c617b62.tar.gz abc-bc288a76332b1684b0183084aee0a4f46c617b62.tar.bz2 abc-bc288a76332b1684b0183084aee0a4f46c617b62.zip | |
Suggested white-space changes for fewer gcc warnings.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/ret/retDelay.c | 10 | ||||
| -rw-r--r-- | src/opt/sfm/sfmSat.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSupp.c | 10 |
3 files changed, 11 insertions, 11 deletions
diff --git a/src/opt/ret/retDelay.c b/src/opt/ret/retDelay.c index 0263c92f..92680cd0 100644 --- a/src/opt/ret/retDelay.c +++ b/src/opt/ret/retDelay.c @@ -96,8 +96,8 @@ int Abc_NtkRetimeMinDelayTry( Abc_Ntk_t * pNtk, int nDelayLim, int fForward, int } } -if ( fVerbose && !fInitial ) - printf( "Performing analysis:\n" ); + if ( fVerbose && !fInitial ) + printf( "Performing analysis:\n" ); // find the best iteration DelayBest = ABC_INFINITY; IterBest = 0; LatchesBest = Abc_NtkLatchNum(pNtk); vCritical = Vec_PtrAlloc( 100 ); @@ -150,9 +150,9 @@ if ( fVerbose && !fInitial ) Vec_IntFree( vValues ); } } -if ( fVerbose && !fInitial ) - printf( "%s : Starting delay = %3d. Final delay = %3d. IterBest = %2d (out of %2d).\n", - fForward? "Forward " : "Backward", DelayStart, DelayBest, IterBest, nIterLimit ); + if ( fVerbose && !fInitial ) + printf( "%s : Starting delay = %3d. Final delay = %3d. IterBest = %2d (out of %2d).\n", + fForward? "Forward " : "Backward", DelayStart, DelayBest, IterBest, nIterLimit ); *pIterBest = (nIterLimit == 1) ? 1 : IterBest; return DelayBest; } diff --git a/src/opt/sfm/sfmSat.c b/src/opt/sfm/sfmSat.c index 0d5bbca2..8bcb7f8a 100644 --- a/src/opt/sfm/sfmSat.c +++ b/src/opt/sfm/sfmSat.c @@ -260,7 +260,7 @@ void Sfm_ComputeInterpolantCheck( Sfm_Ntk_t * p ) else if ( uTruth == SFM_SAT_UNDEC ) printf( "The problem is UNDEC.\n" ); else - Kit_DsdPrintFromTruth( (unsigned *)&uTruth, 2 ); printf( "\n" ); + Kit_DsdPrintFromTruth( (unsigned *)&uTruth, 2 ), printf( "\n" ); } } diff --git a/src/opt/sim/simSupp.c b/src/opt/sim/simSupp.c index 5def7dae..a87ac0f1 100644 --- a/src/opt/sim/simSupp.c +++ b/src/opt/sim/simSupp.c @@ -118,8 +118,8 @@ Vec_Ptr_t * Sim_ComputeFunSupp( Abc_Ntk_t * pNtk, int fVerbose ) // set the support targets Sim_ComputeSuppSetTargets( p ); -if ( fVerbose ) - printf( "Number of support targets after simulation = %5d.\n", Vec_VecSizeSize(p->vSuppTargs) ); + if ( fVerbose ) + printf( "Number of support targets after simulation = %5d.\n", Vec_VecSizeSize(p->vSuppTargs) ); if ( Vec_VecSizeSize(p->vSuppTargs) == 0 ) goto exit; @@ -131,9 +131,9 @@ if ( fVerbose ) if ( Vec_VecSizeSize(p->vSuppTargs) == 0 ) goto exit; -if ( fVerbose ) - printf( "Targets = %5d. Solved = %5d. Fifo = %5d.\n", - Vec_VecSizeSize(p->vSuppTargs), nSolved, Vec_PtrSize(p->vFifo) ); + if ( fVerbose ) + printf( "Targets = %5d. Solved = %5d. Fifo = %5d.\n", + Vec_VecSizeSize(p->vSuppTargs), nSolved, Vec_PtrSize(p->vFifo) ); } // try to solve the support targets |