aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smt2
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2018-11-06 10:09:03 +0100
committerClifford Wolf <clifford@clifford.at>2018-11-06 10:09:03 +0100
commit4c50e3abb9b39fe088cc0a08c63fcadb8abdabb7 (patch)
treed1efb3c4c29a030d9a1020a43e2f232d1089c8f0 /backends/smt2
parent79075d123f749ad39bf35f658f00a79a24efcf98 (diff)
downloadyosys-4c50e3abb9b39fe088cc0a08c63fcadb8abdabb7.tar.gz
yosys-4c50e3abb9b39fe088cc0a08c63fcadb8abdabb7.tar.bz2
yosys-4c50e3abb9b39fe088cc0a08c63fcadb8abdabb7.zip
Fix for improved smtio.py rlimit code
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends/smt2')
-rw-r--r--backends/smt2/smtio.py2
1 files changed, 1 insertions, 1 deletions
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]))