diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-10 17:26:01 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-10 17:26:01 -0800 |
commit | e0f27f5ac3a8ff2c6d7cc3257cfafd76dcd99cfd (patch) | |
tree | 7e617ec40ef96cb6011f214942217e4156905fd7 /src/base | |
parent | fdcbb2cf374a456ffdef088a2f09d3acbbc86201 (diff) | |
download | abc-e0f27f5ac3a8ff2c6d7cc3257cfafd76dcd99cfd.tar.gz abc-e0f27f5ac3a8ff2c6d7cc3257cfafd76dcd99cfd.tar.bz2 abc-e0f27f5ac3a8ff2c6d7cc3257cfafd76dcd99cfd.zip |
Improved DSD.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abcDec.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index f5dce96e..94b4ef07 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -541,7 +541,7 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose ) } else if ( DecType == 4 ) { - extern void Dau_DsdTestOne( word t, int i ); +// extern void Dau_DsdTestOne( word t, int i ); if ( p->nVars != 6 ) { printf( "Currently only works for 6 variables.\n" ); @@ -554,7 +554,7 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose ) { if ( fVerbose ) printf( "%7d : ", i ); - Dau_DsdTestOne( *p->pFuncs[i], i ); +// Dau_DsdTestOne( *p->pFuncs[i], i ); } } else assert( 0 ); |