Added switch 'dch -r' to skip choices with structural support redundancy.

75a5c46b · Alan Mishchenko · ce0e96bc · 75a5c46b
Commit 75a5c46b authored Sep 07, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/proof/dch/dchChoice.c
+1 -1

No files found.
--- a/src/proof/dch/dchChoice.c
+++ b/src/proof/dch/dchChoice.c
@@ -216,7 +216,7 @@ int Dch_ObjMarkTfi_rec( Aig_Man_t * p, Aig_Obj_t * pObj )
    Aig_ObjSetTravIdCurrent( p, pObj );
    RetValue  = Dch_ObjMarkTfi_rec( p, Aig_ObjFanin0(pObj) );
    RetValue += Dch_ObjMarkTfi_rec( p, Aig_ObjFanin1(pObj) );
-    RetValue += Dch_ObjMarkTfi_rec( p, Aig_ObjEquiv(p, pObj) );
+//    RetValue += Dch_ObjMarkTfi_rec( p, Aig_ObjEquiv(p, pObj) );
    return (RetValue > 0);
 }