1 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/issue7/testsuite.sh b/testsuite/issue7/testsuite.sh
new file mode 100755
index 0000000..939f28a
--- /dev/null
+++ b/testsuite/issue7/testsuite.sh
@@ -0,0 +1,23 @@
+#!/bin/sh
+
+. ../testenv.sh
+
+analyze ref.vhdl
+run_yosys -q -p "ghdl vector ref; write_verilog ref.v"
+
+analyze vector.vhdl
+run_yosys -q -p "ghdl vector synth; write_verilog vector.v"
+
+run_yosys -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