aboutsummaryrefslogtreecommitdiffstats
path: root/.travis.yml
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2019-06-19 05:22:13 +0000
committerwhitequark <whitequark@whitequark.org>2019-06-19 05:22:13 +0000
commitdf6576edc83817b692d2096e806bd822f3fda430 (patch)
treec49db07ad195a822f38fc8f91b59aa80b8d9607b /.travis.yml
parent64947453e22404e570d670416ad66511a799e666 (diff)
downloadyosys-df6576edc83817b692d2096e806bd822f3fda430.tar.gz
yosys-df6576edc83817b692d2096e806bd822f3fda430.tar.bz2
yosys-df6576edc83817b692d2096e806bd822f3fda430.zip
In RTLIL::Module::check(), check process invariants.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions