diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-20 23:11:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-20 23:11:32 -0700 |
| commit | dc9d327a5884a8c9272ff76ea9669ff805268e13 (patch) | |
| tree | a798640ae32275bfe7cb1c6fd168a8776d681305 | |
| parent | dc9a08bddcebec73f9298f43bc548e0894c85cbb (diff) | |
| download | abc-dc9d327a5884a8c9272ff76ea9669ff805268e13.tar.gz abc-dc9d327a5884a8c9272ff76ea9669ff805268e13.tar.bz2 abc-dc9d327a5884a8c9272ff76ea9669ff805268e13.zip | |
Extending resource limit.
| -rw-r--r-- | src/misc/util/utilTruth.h | 4 |
1 files 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 ) |