aboutsummaryrefslogtreecommitdiffstats
path: root/tests/svtypes/typedef_struct_port.ys
diff options
context:
space:
mode:
authorKamil Rakoczy <krakoczy@antmicro.com>2020-07-08 13:44:03 +0200
committerKamil Rakoczy <krakoczy@antmicro.com>2021-01-18 17:31:22 +0100
commitd69ddf19da47242a5fde4d0beca65fa95c453884 (patch)
tree534ff61ddf5a24d17bfb237bf135887b2b9e17f6 /tests/svtypes/typedef_struct_port.ys
parent61501e3266238f6c4cffafb08ed85ff86f912cf4 (diff)
downloadyosys-d69ddf19da47242a5fde4d0beca65fa95c453884.tar.gz
yosys-d69ddf19da47242a5fde4d0beca65fa95c453884.tar.bz2
yosys-d69ddf19da47242a5fde4d0beca65fa95c453884.zip
Add typedef input/output test
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
Diffstat (limited to 'tests/svtypes/typedef_struct_port.ys')
-rw-r--r--tests/svtypes/typedef_struct_port.ys6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/svtypes/typedef_struct_port.ys b/tests/svtypes/typedef_struct_port.ys
new file mode 100644
index 000000000..5b75c3105
--- /dev/null
+++ b/tests/svtypes/typedef_struct_port.ys
@@ -0,0 +1,6 @@
+read_verilog -sv typedef_struct_port.sv
+hierarchy; proc; opt
+select -module top
+sat -verify -seq 1 -tempinduct -prove-asserts -show-all
+select -module test_parser
+sat -verify -seq 1 -tempinduct -prove-asserts -show-all