diff options
Diffstat (limited to 'src/base/abci/abcDec.c')
| -rw-r--r-- | src/base/abci/abcDec.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index 3ed73c26..5e4f848a 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -502,6 +502,9 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose ) vCover = Vec_IntAlloc( 1 << 16 ); for ( i = 0; i < p->nFuncs; i++ ) { +// extern int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ); +// Abc_IsopTest( p->pFuncs[i], p->nVars, vCover ); +// continue; if ( fVerbose ) printf( "%7d : ", i ); pSopStr = Kit_PlaFromTruthNew( (unsigned *)p->pFuncs[i], p->nVars, vCover, vStr ); |