projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a97d30d) | patch
smt: handle failure of setrlimit syscall
authorN. Engelhardt <nakengelhardt@gmail.com>
Mon, 15 Jul 2019 15:33:18 +0000 (23:33 +0800)
committerN. Engelhardt <nakengelhardt@gmail.com>
Mon, 15 Jul 2019 15:33:18 +0000 (23:33 +0800)
commitab4b9e8db481cd24b61cc0dc14bb5bf74d08006d
tree54f51956563d8d319cfe02c3ca4b3372c28d6a1etree
parenta97d30d2f88d2f7a41abf8b913bbc017b60d8c7dcommit | diff
smt: handle failure of setrlimit syscall
backends/smt2/smtio.py diff | blob | history