Extending resource limit.

dc9d327a · Alan Mishchenko · dc9a08bd · dc9d327a
Commit dc9d327a authored Sep 20, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/misc/util/utilTruth.h
+2 -2

No files found.
--- 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 )