diff options
Diffstat (limited to 'test/unit/expr/expr_manager_public.h')
-rw-r--r-- | test/unit/expr/expr_manager_public.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/unit/expr/expr_manager_public.h b/test/unit/expr/expr_manager_public.h index d5929a266..204f1bcd2 100644 --- a/test/unit/expr/expr_manager_public.h +++ b/test/unit/expr/expr_manager_public.h @@ -105,7 +105,8 @@ public: void testMkAssociative3() { try { - unsigned int numVars = d_exprManager->maxArity(AND) + 1; + //unsigned int numVars = d_exprManager->maxArity(AND) + 1; + unsigned int numVars = (1<<16) + 1; std::vector<Expr> vars = mkVars(d_exprManager->booleanType(), numVars); Expr n = d_exprManager->mkAssociative(AND,vars); checkAssociative(n,AND,numVars); |