diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-26 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-26 08:01:00 -0700 |
| commit | e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3 (patch) | |
| tree | 8056eb71a429208d41735b2be3e237d3ef8e25ff /src/opt | |
| parent | 85207c7568dd2edac04e97ecdf59c2d684d1cb91 (diff) | |
| download | abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.tar.gz abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.tar.bz2 abc-e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3.zip | |
Version abc80326
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/mfs/mfsCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/mfs/mfsCore.c b/src/opt/mfs/mfsCore.c index bde2ad42..59ee7488 100644 --- a/src/opt/mfs/mfsCore.c +++ b/src/opt/mfs/mfsCore.c @@ -246,8 +246,8 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) if ( !pPars->fResub ) { extern void Abc_NtkBidecResyn( Abc_Ntk_t * pNtk, int fVerbose ); - Abc_NtkSweep( pNtk, 0 ); - Abc_NtkBidecResyn( pNtk, 0 ); +// Abc_NtkSweep( pNtk, 0 ); +// Abc_NtkBidecResyn( pNtk, 0 ); } p->nTotalNodesEnd = Abc_NtkNodeNum(pNtk); |