Verilog: add Verilog type to lowered array type#1257

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog-array-typediffblue/hw-cbmc:verilog-array-typeCopy head branch name to clipboard