test(logic): add test for max variables

Author: bdeneux

x/logic/keeper/grpc_query_ask_test.go

@@ -40,6 +40,7 @@ func TestGRPCAsk(t *testing.T) {
 			maxSize            int
 			predicateBlacklist []string
 			maxGas             uint64
+			maxVariables       uint64
 			predicateCosts     map[string]uint64
 			expectedAnswer     *types.Answer
 			expectedError      string
@@ -153,6 +154,11 @@ func TestGRPCAsk(t *testing.T) {
 				},
 				expectedError: "out of gas: logic <block_height/1> (11167/3000): limit exceeded",
 			},
+			{
+				query:         "length(List, 100000).",
+				maxVariables:  1000,
+				expectedError: "maximum number of variables reached: limit exceeded",
+			},
 			{
 				program: "father(bob, 'élodie').",
 				query:   "father(bob, X).",
@@ -351,6 +357,8 @@ foo(a4).
 					params := types.DefaultParams()
 					params.Limits.MaxResultCount = &maxResultCount
 					params.Limits.MaxSize = &maxSize
+					maxVariables := sdkmath.NewUint(tc.maxVariables)
+					params.Limits.MaxVariables = &maxVariables
 					if tc.predicateBlacklist != nil {
 						params.Interpreter.PredicatesFilter.Blacklist = tc.predicateBlacklist
 					}