Verilog: KNOWNBUG test for conversion of packed array#1253

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

array_conversion1diffblue/hw-cbmc:array_conversion1Copy head branch name to clipboard