diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-26 19:40:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-26 19:40:16 -0700 |
| commit | cab60501d079771a22e0414c06a3881ae0c6c0c5 (patch) | |
| tree | f9a968a931cfc032ca5d762c8d1b807ebabf43e2 /src/aig/kit/kitIsop.c | |
| parent | 0985eaca6cc0fe721535fc159148b95ba60aa601 (diff) | |
| download | abc-cab60501d079771a22e0414c06a3881ae0c6c0c5.tar.gz abc-cab60501d079771a22e0414c06a3881ae0c6c0c5.tar.bz2 abc-cab60501d079771a22e0414c06a3881ae0c6c0c5.zip | |
Fixed the problem in mapping with the new check.
Diffstat (limited to 'src/aig/kit/kitIsop.c')
| -rw-r--r-- | src/aig/kit/kitIsop.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/kit/kitIsop.c b/src/aig/kit/kitIsop.c index 18039dc5..fc017c0e 100644 --- a/src/aig/kit/kitIsop.c +++ b/src/aig/kit/kitIsop.c @@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START //////////////////////////////////////////////////////////////////////// // ISOP computation fails if intermediate memory usage exceed this limit -#define KIT_ISOP_MEM_LIMIT (1<<16) +#define KIT_ISOP_MEM_LIMIT (1<<20) // static procedures to compute ISOP static unsigned * Kit_TruthIsop_rec( unsigned * puOn, unsigned * puOnDc, int nVars, Kit_Sop_t * pcRes, Vec_Int_t * vStore ); |