diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index f2348d34..fd8d4e07 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -860,7 +860,7 @@ void Abc_Init( Abc_Frame_t * pAbc ) Dar_LibStart(); } { - extern void Bdc_ManDecomposeTest( unsigned uTruth, int nVars ); +// extern void Bdc_ManDecomposeTest( unsigned uTruth, int nVars ); // Bdc_ManDecomposeTest( 0x0f0f0f0f, 3 ); } @@ -881,10 +881,6 @@ void Abc_Init( Abc_Frame_t * pAbc ) void For_ManFileExperiment(); // For_ManFileExperiment(); } - { - void Bdc_SpfdDecomposeTest(); - Bdc_SpfdDecomposeTest(); - } /* { int i1, i2, i3, i4, i5, i6, N, Counter = 0; @@ -8843,7 +8839,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) Aig_ManStop( pAig ); } */ - +/* { extern Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ); if ( pAbc->pCex && pNtk ) @@ -8855,8 +8851,11 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_FrameReplaceCex( pAbc, &pNew ); } } - - +*/ + { + void Bdc_SpfdDecomposeTest(); + Bdc_SpfdDecomposeTest(); + } return 0; usage: Abc_Print( -2, "usage: test [-CKDN] [-aovwh] <file_name>\n" ); |