Skip to content

Commit

Permalink
Merge pull request #1 from eyereasoner/feature/increased-stack-limit
Browse files Browse the repository at this point in the history
stack limit increased from 1G to 8G
  • Loading branch information
bdevloed authored Dec 4, 2023
2 parents c77a80d + dcd812a commit 8a742e9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion eye.py
Original file line number Diff line number Diff line change
Expand Up @@ -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)]
Expand Down

0 comments on commit 8a742e9

Please sign in to comment.