diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 23:53:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 23:53:12 -0700 |
| commit | 255f171f632610eead441e62c7fe4cd4148bb207 (patch) | |
| tree | 321863ebb934ee8a72587a7d863919e949fb2228 /src/proof | |
| parent | 40d9b5853b2849c3bf7e2157a4b4c6b798b043d5 (diff) | |
| download | abc-255f171f632610eead441e62c7fe4cd4148bb207.tar.gz abc-255f171f632610eead441e62c7fe4cd4148bb207.tar.bz2 abc-255f171f632610eead441e62c7fe4cd4148bb207.zip | |
Improving computation of choices from equivalence classes.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/dch/dchCore.c | 6 |
1 files changed, 6 insertions, 0 deletions
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 ); |