diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-10 17:31:54 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-10 17:31:54 -0800 |
commit | 72dbdee2023a86006f67b95027fe6acb841328c4 (patch) | |
tree | 864cbdffb2b8e12514e83437a4ed6c9f82cc4767 /src | |
parent | 4b93ddda632a6d87457bf88688fd5e32332ec15b (diff) | |
download | abc-72dbdee2023a86006f67b95027fe6acb841328c4.tar.gz abc-72dbdee2023a86006f67b95027fe6acb841328c4.tar.bz2 abc-72dbdee2023a86006f67b95027fe6acb841328c4.zip |
Adding resource limit to 'sop'.
Diffstat (limited to 'src')
-rw-r--r-- | src/base/abc/abcFunc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index ff18fb13..dc8a1c5e 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -373,11 +373,11 @@ int Abc_NtkBddToSop( Abc_Ntk_t * pNtk, int fDirect ) if ( !Abc_ObjIsBarBuf(pNode) ) Vec_PtrPush( vFuncs, pNode->pData ); // estimate the number of cubes in the ISOPs - nCubes = Extra_bddCountCubes( dd, (DdNode **)Vec_PtrArray(vFuncs), Vec_PtrSize(vFuncs), fDirect, 100000 ); + nCubes = Extra_bddCountCubes( dd, (DdNode **)Vec_PtrArray(vFuncs), Vec_PtrSize(vFuncs), fDirect, ABC_MAX_CUBES ); Vec_PtrFree( vFuncs ); if ( nCubes == -1 ) return 0; - printf( "The total number of cubes = %d.\n", nCubes ); + //printf( "The total number of cubes = %d.\n", nCubes ); if ( fDirect ) fMode = 1; |