From 646b2169f0381f133562a01795007d6e0ff88816 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 11 Feb 2014 20:46:48 -0800
Subject: Experiments with inductive don't-cares.

---
 src/base/abci/abcMfs.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/base')

diff --git a/src/base/abci/abcMfs.c b/src/base/abci/abcMfs.c
index 27719a7f..502906a4 100644
--- a/src/base/abci/abcMfs.c
+++ b/src/base/abci/abcMfs.c
@@ -464,6 +464,10 @@ int Abc_NtkMfsAfterICheck( Abc_Ntk_t * p, int nFrames, Vec_Int_t * vFlops, Sfm_P
     }
     Abc_NtkDelete( pNtk );
     Sfm_NtkFree( pp );
+    // perform final sweep
+    Abc_NtkSweep( p, 0 );
+    if ( !Abc_NtkHasSop(p) )
+        Abc_NtkToSop( p, 0 );
     return 1;
 
 }
-- 
cgit v1.2.3