From 255f171f632610eead441e62c7fe4cd4148bb207 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 23 Sep 2012 23:53:12 -0700
Subject: Improving computation of choices from equivalence classes.

---
 src/proof/dch/dchCore.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/proof')

diff --git a/src/proof/dch/dchCore.c b/src/proof/dch/dchCore.c
index 0d2e8c0d..654ed359 100644
--- a/src/proof/dch/dchCore.c
+++ b/src/proof/dch/dchCore.c
@@ -106,6 +106,12 @@ p->timeSimInit = clock() - clk;
     // free memory ahead of time
 p->timeTotal = clock() - clkTotal;
     Dch_ManStop( p );
+    // try something different
+    {
+//    extern void Gia_ManNormalizeChoicesTest( Aig_Man_t * pAig );
+//    Gia_ManNormalizeChoicesTest( pAig );
+    }
+
     // create choices
     ABC_FREE( pAig->pTable );
     pResult = Dch_DeriveChoiceAig( pAig, pPars->fSkipRedSupp );
-- 
cgit v1.2.3