Merge pull request #693 from YosysHQ/rlimit
authorClifford Wolf <clifford@clifford.at>
Wed, 7 Nov 2018 19:16:40 +0000 (20:16 +0100)
committerGitHub <noreply@github.com>
Wed, 7 Nov 2018 19:16:40 +0000 (20:16 +0100)
commit825b4c1aa9ae5abe7484f056cc14d973bcaae378
treef6e37def919addfd01223aba2aea808139a14ac1
parent7bd2144d03ae5daffbcddea609d2db7df7b751a2
parentb54bf7c0f9720526dffce684ef1353b81f99547c
Merge pull request #693 from YosysHQ/rlimit

improve rlimit handling in smtio.py
backends/smt2/smtio.py