diff options
| author | whitequark <whitequark@whitequark.org> | 2020-06-06 12:23:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-06 12:23:06 +0000 |
| commit | 784bfec67c1b6618104256d428cb890d0eded20d (patch) | |
| tree | 478ad97ac461a70ca82acae0fac4e3ef0eddf001 | |
| parent | bd2ecc2dd3d476d4b76aa2cb624e2a5a08abcf90 (diff) | |
| parent | da0778350bf472b9a46068051753625a62d5ddb7 (diff) | |
| download | yosys-784bfec67c1b6618104256d428cb890d0eded20d.tar.gz yosys-784bfec67c1b6618104256d428cb890d0eded20d.tar.bz2 yosys-784bfec67c1b6618104256d428cb890d0eded20d.zip | |
Merge pull request #2110 from BracketMaster/master
MacOS has even stricter stack limits in catalina.
| -rw-r--r-- | backends/smt2/smtio.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 9f7c8c6d9..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 * 1024 + 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: |