diff --git a/abc.rc b/abc.rc index aa4df5b12..d09ab1b03 100644 --- a/abc.rc +++ b/abc.rc @@ -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 c80106516..90c7708f0 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 );