Verilog: explicit casts are assignments#1340

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog-size-castdiffblue/hw-cbmc:verilog-size-castCopy head branch name to clipboard