Improvements to gate-sizing.

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

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 );