diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-03 18:02:32 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-03 18:02:32 -0800 |
commit | 6e6cc08becbe68734a3b38ae4dc0b56b020d0f39 (patch) | |
tree | 004fbc3549abd548e7f8bde18e36dbb3c9f6a1c3 /src/opt/sfm/sfmCore.c | |
parent | ce95366e513631b1b052b55c4f8e2e83ff7e4149 (diff) | |
download | abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.tar.gz abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.tar.bz2 abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.zip |
Improving resub window computation by always including the TFI of the pivot node.
Diffstat (limited to 'src/opt/sfm/sfmCore.c')
-rw-r--r-- | src/opt/sfm/sfmCore.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmCore.c b/src/opt/sfm/sfmCore.c index fe69d480..356aea35 100644 --- a/src/opt/sfm/sfmCore.c +++ b/src/opt/sfm/sfmCore.c @@ -232,7 +232,6 @@ finish: int Sfm_NodeResubOne( Sfm_Ntk_t * p, int iNode ) { int fSkipUpdate = 0; - int fVeryVerbose = 0;//p->pPars->fVeryVerbose; int i, iFanin; word uTruth; abctime clk; |