SystemVerilog: labeled immediate assert/assume/cover statements#1353

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

label-immediate-assertionsdiffblue/hw-cbmc:label-immediate-assertionsCopy head branch name to clipboard