From dc9d327a5884a8c9272ff76ea9669ff805268e13 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 20 Sep 2014 23:11:32 -0700 Subject: Extending resource limit. --- src/misc/util/utilTruth.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index fbabdbe8..1416034d 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -1054,8 +1054,8 @@ static inline int Abc_TtCheckCondDep2( word * pTruth, int nVars, int nSuppLim ) } static inline int Abc_TtCheckCondDep( word * pTruth, int nVars, int nSuppLim ) { - int nVarsMax = 12; - word Cof0[64], Cof1[64]; // pow( 2, nVarsMax-6 ) + int nVarsMax = 13; + word Cof0[128], Cof1[128]; // pow( 2, nVarsMax-6 ) int v, d, nWords = Abc_TtWordNum(nVars); assert( nVars <= nVarsMax ); if ( nVars <= nSuppLim + 1 ) -- cgit v1.2.3