diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-30 14:52:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-30 14:52:34 -0700 |
| commit | 338845a21da672285705b9aae333768f2ba5dd96 (patch) | |
| tree | 3b0807f315ceff1da6c93a7a12a5477915307c2e /src/opt/sfm/sfmCore.c | |
| parent | 3c978925146b3be8ce6d3bca50a4462839b8d9fa (diff) | |
| download | abc-338845a21da672285705b9aae333768f2ba5dd96.tar.gz abc-338845a21da672285705b9aae333768f2ba5dd96.tar.bz2 abc-338845a21da672285705b9aae333768f2ba5dd96.zip | |
New MFS package.
Diffstat (limited to 'src/opt/sfm/sfmCore.c')
| -rw-r--r-- | src/opt/sfm/sfmCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmCore.c b/src/opt/sfm/sfmCore.c index 55947a14..af2cb836 100644 --- a/src/opt/sfm/sfmCore.c +++ b/src/opt/sfm/sfmCore.c @@ -118,7 +118,7 @@ int Sfm_NodeResubSolve( Sfm_Ntk_t * p, int iNode, int f, int fRemoveOnly ) // report init stats if ( p->pPars->fVeryVerbose ) printf( "%5d : Lev =%3d. Leaf =%3d. Node =%3d. Div=%3d. Fanin =%4d (%d/%d). MFFC = %d\n", - iNode, Sfm_ObjLevel(p, iNode), Vec_IntSize(p->vLeaves), Vec_IntSize(p->vNodes), Vec_IntSize(p->vDivs), + iNode, Sfm_ObjLevel(p, iNode), 0, Vec_IntSize(p->vNodes), Vec_IntSize(p->vDivs), Sfm_ObjFanin(p, iNode, f), f, Sfm_ObjFaninNum(p, iNode), Sfm_ObjMffcSize(p, Sfm_ObjFanin(p, iNode, f)) ); // clean simulation info p->nCexes = 0; |