diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 4 | ||||
| -rw-r--r-- | src/base/abci/abcDec.c | 10 |
2 files changed, 10 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 3408144a..7a4d1405 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -10802,6 +10802,10 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes ); } */ + { + extern void Abc_IsopTestNew(); + Abc_IsopTestNew(); + } return 0; usage: Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" ); diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index 5e4f848a..c6a6a985 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -499,12 +499,13 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose ) Vec_Str_t * vStr; char * pSopStr; vStr = Vec_StrAlloc( 10000 ); - vCover = Vec_IntAlloc( 1 << 16 ); + vCover = Vec_IntAlloc( 1 << 20 ); 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; + extern int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ); + if ( i == 0 ) printf( "\n" ); + 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 ); @@ -600,6 +601,7 @@ void Abc_TruthDecTest( char * pFileName, int DecType, int nVarNum, int fVerbose // allocate data-structure p = Abc_TtStoreLoad( pFileName, nVarNum ); + if ( p == NULL ) return; // consider functions from the file Abc_TruthDecPerform( p, DecType, fVerbose ); |