From: Yehowshua Immanuel <programmed4jesus@gmail.com>
Date: Thu, 4 Jun 2020 21:00:04 +0000 (-0400)
Subject: more reasonable numbers for memory
X-Git-Tag: working-ls180~500^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=da0778350bf472b9a46068051753625a62d5ddb7;p=yosys.git

more reasonable numbers for memory
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 9d03e162e..72ab39d39 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -39,7 +39,7 @@ if os.name == "posix":
         smtio_stacksize = 128 * 1024 * 1024
         if os.uname().sysname == "Darwin":
             # MacOS has rather conservative stack limits
-            smtio_stacksize = 16 * 1024 * 512
+            smtio_stacksize = 8 * 1024 * 1024
         if current_rlimit_stack[1] != resource.RLIM_INFINITY:
             smtio_stacksize = min(smtio_stacksize, current_rlimit_stack[1])
         if current_rlimit_stack[0] < smtio_stacksize: