diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-06 12:40:55 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-06 12:40:55 -0800 |
commit | 05fbf4bd69b047460a41cf869aea78f051a0c5f8 (patch) | |
tree | 40b938d2f810db74c83f8cd6b3111c511b8f91c3 /src/map/scl/sclUpsize.c | |
parent | 48912a22474688302c4ed62133111740061f58bb (diff) | |
download | abc-05fbf4bd69b047460a41cf869aea78f051a0c5f8.tar.gz abc-05fbf4bd69b047460a41cf869aea78f051a0c5f8.tar.bz2 abc-05fbf4bd69b047460a41cf869aea78f051a0c5f8.zip |
Fixing assertion failure when all POs have constant functions.
Diffstat (limited to 'src/map/scl/sclUpsize.c')
-rw-r--r-- | src/map/scl/sclUpsize.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/scl/sclUpsize.c b/src/map/scl/sclUpsize.c index 4c004b97..d52002a2 100644 --- a/src/map/scl/sclUpsize.c +++ b/src/map/scl/sclUpsize.c @@ -898,7 +898,7 @@ void Abc_SclUpsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, SC_SizePars * pPars // perform upsizing nAllPos = nAllNodes = nAllTfos = nAllUpsizes = 0; if ( p->BestDelay <= pPars->DelayUser ) - printf( "Current delay (%.2f ps) is better than the target delay (%.2f ps).\n", p->BestDelay, (float)pPars->DelayUser ); + printf( "Current delay (%.2f ps) does not exceed the target delay (%.2f ps). Upsizing is not performed.\n", p->BestDelay, (float)pPars->DelayUser ); else for ( i = 0; i < pPars->nIters; i++ ) { |