SystemVerilog: allow typedefs as port names in named port connections#1419

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

named-port-connection-fixdiffblue/hw-cbmc:named-port-connection-fixCopy head branch name to clipboard