From: Clifford Wolf Date: Tue, 6 Nov 2018 09:09:03 +0000 (+0100) Subject: Fix for improved smtio.py rlimit code X-Git-Tag: yosys-0.9~414^2~1 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c50e3abb9b39fe088cc0a08c63fcadb8abdabb7;p=yosys.git Fix for improved smtio.py rlimit code Signed-off-by: Clifford Wolf --- diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index e417b7758..108f6bcfe 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -38,7 +38,7 @@ if os.name == "posix": current_rlimit_stack = resource.getrlimit(resource.RLIMIT_STACK) if current_rlimit_stack[0] != resource.RLIM_INFINITY: if current_rlimit_stack[1] != resource.RLIM_INFINITY: - smtio_stacksize = min(smtio_stacksize, smtio_stacklimit) + smtio_stacksize = min(smtio_stacksize, current_rlimit_stack[1]) if current_rlimit_stack[0] < smtio_stacksize: resource.setrlimit(resource.RLIMIT_STACK, (smtio_stacksize, current_rlimit_stack[1]))