Verilog: allow system function calls as module items#1320

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

error1-fixdiffblue/hw-cbmc:error1-fixCopy head branch name to clipboard