diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-16 23:27:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-16 23:27:21 -0800 |
| commit | 5a10c8ad01b62a6760e4cf8720800acb1fab8554 (patch) | |
| tree | 8ecd829e6329e0b3faa94438a52b9f3530d83d13 /src/base/abci/abcMfs.c | |
| parent | d9ffe9c3ad918bffadc833be0542a50c758d85d5 (diff) | |
| download | abc-5a10c8ad01b62a6760e4cf8720800acb1fab8554.tar.gz abc-5a10c8ad01b62a6760e4cf8720800acb1fab8554.tar.bz2 abc-5a10c8ad01b62a6760e4cf8720800acb1fab8554.zip | |
Integrating mfs2 package to work with boxes.
Diffstat (limited to 'src/base/abci/abcMfs.c')
| -rw-r--r-- | src/base/abci/abcMfs.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/base/abci/abcMfs.c b/src/base/abci/abcMfs.c index e6d07993..aab18ed0 100644 --- a/src/base/abci/abcMfs.c +++ b/src/base/abci/abcMfs.c @@ -270,7 +270,6 @@ int Abc_NtkPerformMfs( Abc_Ntk_t * pNtk, Sfm_Par_t * pPars ) p = Abc_NtkExtractMfs( pNtk, pPars->nFirstFixed ); // perform optimization nNodes = Sfm_NtkPerform( p, pPars ); - // call the fast extract procedure if ( nNodes == 0 ) { // Abc_Print( 1, "The network is not changed by \"mfs\".\n" ); @@ -451,7 +450,6 @@ int Abc_NtkMfsAfterICheck( Abc_Ntk_t * p, int nFrames, int nFramesAdd, Vec_Int_t pp = Abc_NtkExtractMfs2( pNtk, iPivot ); // perform optimization nNodes = Sfm_NtkPerform( pp, pPars ); - // call the fast extract procedure if ( nNodes == 0 ) { // Abc_Print( 1, "The network is not changed by \"mfs\".\n" ); |