From cab60501d079771a22e0414c06a3881ae0c6c0c5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 26 Jun 2011 19:40:16 -0700 Subject: Fixed the problem in mapping with the new check. --- src/aig/kit/kitFactor.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/kit/kitFactor.c') diff --git a/src/aig/kit/kitFactor.c b/src/aig/kit/kitFactor.c index 3982d7a8..ec4775ca 100644 --- a/src/aig/kit/kitFactor.c +++ b/src/aig/kit/kitFactor.c @@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START //////////////////////////////////////////////////////////////////////// // factoring fails if intermediate memory usage exceed this limit -#define KIT_FACTOR_MEM_LIMIT (1<<16) +#define KIT_FACTOR_MEM_LIMIT (1<<20) static Kit_Edge_t Kit_SopFactor_rec( Kit_Graph_t * pFForm, Kit_Sop_t * cSop, int nLits, Vec_Int_t * vMemory ); static Kit_Edge_t Kit_SopFactorLF_rec( Kit_Graph_t * pFForm, Kit_Sop_t * cSop, Kit_Sop_t * cSimple, int nLits, Vec_Int_t * vMemory ); -- cgit v1.2.3