diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-18 19:20:02 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-18 19:20:02 -0800 |
| commit | 7ca9c116df0475d567d6fbc616b454f40a44003c (patch) | |
| tree | 3ab5636debb2d99e97d3a32f47c3ddbfcd6ea30a /src/base | |
| parent | 78cad5e1760a143bf8ff2ceb9093d3efce6ad5a4 (diff) | |
| download | abc-7ca9c116df0475d567d6fbc616b454f40a44003c.tar.gz abc-7ca9c116df0475d567d6fbc616b454f40a44003c.tar.bz2 abc-7ca9c116df0475d567d6fbc616b454f40a44003c.zip | |
Isomorphism checking code.
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 { |