diff options
| author | whitequark <whitequark@whitequark.org> | 2019-06-19 05:22:13 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-06-19 05:22:13 +0000 |
| commit | df6576edc83817b692d2096e806bd822f3fda430 (patch) | |
| tree | c49db07ad195a822f38fc8f91b59aa80b8d9607b /Makefile | |
| parent | 64947453e22404e570d670416ad66511a799e666 (diff) | |
| download | yosys-df6576edc83817b692d2096e806bd822f3fda430.tar.gz yosys-df6576edc83817b692d2096e806bd822f3fda430.tar.bz2 yosys-df6576edc83817b692d2096e806bd822f3fda430.zip | |
In RTLIL::Module::check(), check process invariants.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions