Verilog: assignment to 1-bit LHSs require truncation#1514

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

wire_with_assignment1diffblue/hw-cbmc:wire_with_assignment1Copy head branch name to clipboard