diff options
author | N. Engelhardt <nakengelhardt@gmail.com> | 2019-07-15 23:33:18 +0800 |
---|---|---|
committer | N. Engelhardt <nakengelhardt@gmail.com> | 2019-07-15 23:33:18 +0800 |
commit | ab4b9e8db481cd24b61cc0dc14bb5bf74d08006d (patch) | |
tree | 54f51956563d8d319cfe02c3ca4b3372c28d6a1e /README.md | |
parent | a97d30d2f88d2f7a41abf8b913bbc017b60d8c7d (diff) | |
download | yosys-ab4b9e8db481cd24b61cc0dc14bb5bf74d08006d.tar.gz yosys-ab4b9e8db481cd24b61cc0dc14bb5bf74d08006d.tar.bz2 yosys-ab4b9e8db481cd24b61cc0dc14bb5bf74d08006d.zip |
smt: handle failure of setrlimit syscall
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions