SystemVerilog: assignment patterns with structure keys#1000

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

structure_pattern_keydiffblue/hw-cbmc:structure_pattern_keyCopy head branch name to clipboard