diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 1f8d98c0..36e3fbd0 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -846,8 +846,10 @@ void Abc_Init( Abc_Frame_t * pAbc ) } */ { - extern void If_CluTest(); - If_CluTest(); +// extern void If_CluTest(); +// If_CluTest(); +// extern void Iso_QuickSortTest(); +// Iso_QuickSortTest(); } } @@ -8875,7 +8877,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) // Aig_ManInterTest( pAig, 1 ); // Aig_ManSupportsTest( pAig ); // Aig_SupportSizeTest( pAig ); - if ( !fNewAlgo ) + if ( fNewAlgo ) Saig_IsoDetectFast( pAig ); else { |