diff options
-rw-r--r-- | abc.rc | 2 | ||||
-rw-r--r-- | src/map/scl/sclUpsize.c | 6 |
2 files changed, 5 insertions, 3 deletions
@@ -21,7 +21,7 @@ set gnuplotwin wgnuplot.exe set gnuplotunix gnuplot # Niklas Een's commands -load_plugin C:\_projects\abc\_TEST\bip\bip_win.exe "BIP" +load_plugin C:\_projects\abc\lib\bip_win.exe "BIP" # standard aliases alias hi history diff --git a/src/map/scl/sclUpsize.c b/src/map/scl/sclUpsize.c index c8010651..90c7708f 100644 --- a/src/map/scl/sclUpsize.c +++ b/src/map/scl/sclUpsize.c @@ -514,8 +514,10 @@ void Abc_SclUpsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int nIters, int nIte // update timing information clk = clock(); - vTFO = Abc_SclFindTFO( p->pNtk, vPathNodes ); - Abc_SclTimeCone( p, vTFO ); +// vTFO = Abc_SclFindTFO( p->pNtk, vPathNodes ); +// Abc_SclTimeCone( p, vTFO ); + vTFO = Vec_IntAlloc( 0 ); + Abc_SclTimeNtkRecompute( p, NULL, NULL, 0 ); p->timeTime += clock() - clk; // Abc_SclUpsizePrintDiffs( p, pLib, pNtk ); |