Merge pull request #829 from axone-protocol/test/more_panic_err

Test/more panic err
axone-protocol · Nov 27, 2024 · 191bbcb · 191bbcb
2 parents d312020 + 6efba17
commit 191bbcb
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/x/logic/keeper/grpc_query_ask_test.go b/x/logic/keeper/grpc_query_ask_test.go
@@ -180,6 +180,13 @@ func TestGRPCAsk(t *testing.T) {
 				maxVariables:  1000,
 				expectedError: "maximum number of variables reached: limit exceeded",
 			},
+			{
+				program:       "l(L) :- length(L, 1). l(L) :- length(L, 1000).",
+				query:         "l(L).",
+				limit:         2,
+				maxVariables:  1000,
+				expectedError: "maximum number of variables reached: limit exceeded",
+			},
 			{
 				program: "father(bob, 'élodie').",
 				query:   "father(bob, X).",

diff --git a/x/logic/util/prolog.go b/x/logic/util/prolog.go
@@ -64,7 +64,7 @@ func QueryInterpreter(
 
 			var err engine.Exception
 			if errors.As(callErr, &err) {
-				if err, ok := isPanicError(err.Term(), env); ok {
+				if err, ok := isPanicError(err.Term()); ok {
 					return nil, errorsmod.Wrapf(types.LimitExceeded, "%s", err)
 				}
 			}
@@ -147,7 +147,8 @@ func isBound(v engine.ParsedVariable, env *engine.Env) bool {
 }
 
 // isPanicError returns the panic error message if the given term is a panic_error.
-func isPanicError(term engine.Term, env *engine.Env) (string, bool) {
+func isPanicError(term engine.Term) (string, bool) {
+	var env *engine.Env
 	if env, ok := env.Unify(term, errPanicError); ok {
 		return fmt.Sprintf("%s", env.Resolve(errMessageVar)), true
 	}