From dcd812a722cfb0983f0385ccde3aa987f23f19cb Mon Sep 17 00:00:00 2001 From: Boris De Vloed Date: Mon, 15 May 2023 09:34:24 +0000 Subject: [PATCH] stack limit increased from 1G to 8G --- eye.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eye.py b/eye.py index 4c8ed43..eb3d8cf 100644 --- a/eye.py +++ b/eye.py @@ -52,7 +52,7 @@ def cleanup(self) -> None: def serialize_command(self) -> str: return ( - ["swipl", "-x", "/usr/local/lib/eye.pvm", "--"] + ["swipl", "--stack-limit=8G", "-x", "/usr/local/lib/eye.pvm", "--"] + self.data + self.temp_files + [v for file in self.queries for v in ("--query", file)]