From bb4378934d250c68d346981d3c15d54243d00b15 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 13 May 2023 13:53:59 -0700 Subject: [PATCH] Removing a global variable in resub. --- src/base/abci/abcPrint.c | 2 +- src/base/abci/abcResub.c | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index eeb7427aa..8a2cd42e2 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -46,7 +46,7 @@ ABC_NAMESPACE_IMPL_START abctime s_MappingTime = 0; int s_MappingMem = 0; -abctime s_ResubTime = 0; +//abctime s_ResubTime = 0; abctime s_ResynTime = 0; //////////////////////////////////////////////////////////////////////// diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c index 2b28e7cc7..85f8a4b4c 100644 --- a/src/base/abci/abcResub.c +++ b/src/base/abci/abcResub.c @@ -117,7 +117,7 @@ static Dec_Graph_t * Abc_ManResubDivs3( Abc_ManRes_t * p, int Required ); static Vec_Ptr_t * Abc_CutFactorLarge( Abc_Obj_t * pNode, int nLeavesMax ); static int Abc_CutVolumeCheck( Abc_Obj_t * pNode, Vec_Ptr_t * vLeaves ); -extern abctime s_ResubTime; +//extern abctime s_ResubTime; //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -271,7 +271,7 @@ pManRes->timeTotal = Abc_Clock() - clkStart; printf( "Abc_NtkRefactor: The network check has failed.\n" ); return 0; } -s_ResubTime = Abc_Clock() - clkStart; +//s_ResubTime = Abc_Clock() - clkStart; return 1; }