Bug fix in 'mfs2': Apply sweep to avoid assertion failure when translating into a BDD.

452ff273 · Alan Mishchenko · b3e5ccd2 · 452ff273
Commit 452ff273 authored Apr 06, 2015 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/base/abci/abcMfs.c
+1 -0

No files found.
--- a/src/base/abci/abcMfs.c
+++ b/src/base/abci/abcMfs.c
@@ -253,6 +253,7 @@ int Abc_NtkPerformMfs( Abc_Ntk_t * pNtk, Sfm_Par_t * pPars )
    Sfm_Ntk_t * p;
    int nFaninMax, nNodes;
    assert( Abc_NtkIsLogic(pNtk) );
+    Abc_NtkSweep( pNtk, 0 );
    // count fanouts
    nFaninMax = Abc_NtkGetFaninMax( pNtk );
    if ( nFaninMax > 6 )