diff options
-rw-r--r-- | tests/vloghtb/.gitignore | 7 | ||||
-rwxr-xr-x | tests/vloghtb/run-test.sh | 11 |
2 files changed, 18 insertions, 0 deletions
diff --git a/tests/vloghtb/.gitignore b/tests/vloghtb/.gitignore new file mode 100644 index 000000000..da1ffa41d --- /dev/null +++ b/tests/vloghtb/.gitignore @@ -0,0 +1,7 @@ +Makefile +refdat +rtl +scripts +spec +check_yosys +vloghammer_tb.tar.bz2 diff --git a/tests/vloghtb/run-test.sh b/tests/vloghtb/run-test.sh new file mode 100755 index 000000000..9bef44502 --- /dev/null +++ b/tests/vloghtb/run-test.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +set -ex + +rm -rf Makefile refdat rtl scripts spec vloghammer_tb.tar.bz2 +wget http://www.clifford.at/yosys/nogit/vloghammer_tb.tar.bz2 +tar --strip=1 -xjf vloghammer_tb.tar.bz2 + +make clean +make -j4 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys + |