Verilog: constant folding for nonindexed part select#766

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

part-select-constant1diffblue/hw-cbmc:part-select-constant1Copy head branch name to clipboard