SVA: sequence expressions should have sequence type#1082

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog_sva_sequence_typediffblue/hw-cbmc:verilog_sva_sequence_typeCopy head branch name to clipboard