tests: Check for btorsim --vcd
authorJannis Harder <me@jix.one>
Thu, 2 Jun 2022 14:24:30 +0000 (16:24 +0200)
committerJannis Harder <me@jix.one>
Thu, 2 Jun 2022 14:38:21 +0000 (16:38 +0200)
commit00efdecb4bdb06adecf07ad09c096c5883171697
treea964ca15c27d2f0b0b9ca74b83468805005f0aec
parent206562e5de2d9f6bd976d239f1f7e4a25abee033
tests: Check for btorsim --vcd
tests/Makefile
tests/make/required_tools.py [new file with mode: 0644]
tests/make/test_rules.py