Verilog: fix assignment context semantics#1295

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog-assignment-extensiondiffblue/hw-cbmc:verilog-assignment-extensionCopy head branch name to clipboard