diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-11-06 10:09:03 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-11-06 10:09:03 +0100 |
| commit | 4c50e3abb9b39fe088cc0a08c63fcadb8abdabb7 (patch) | |
| tree | d1efb3c4c29a030d9a1020a43e2f232d1089c8f0 /backends/smt2 | |
| parent | 79075d123f749ad39bf35f658f00a79a24efcf98 (diff) | |
| download | yosys-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.py | 2 |
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])) |