1 files changed, 18 insertions, 0 deletions

diff --git a/testsuite/issues/issue7/testsuite.sh b/testsuite/issues/issue7/testsuite.sh
new file mode 100755
index 0000000..76cf299
--- /dev/null
+++ b/testsuite/issues/issue7/testsuite.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+run_yosys -Q -q -p "ghdl ref.vhdl -e vector ref; write_verilog ref.v"
+run_yosys -Q -q -p "ghdl ref.vhdl vector.vhdl -e vector synth; write_verilog vector.v"
+
+run_yosys -Q -p '
+ read_verilog ref.v
+ rename vector ref
+
+ read_verilog vector.v
+ equiv_make ref vector equiv
+
+ hierarchy -top equiv
+ equiv_simple
+ equiv_status -assert'
+
+clean
+rm -f *.v