KNOWNBUG test for property that is a sequence#1241

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

named_property4diffblue/hw-cbmc:named_property4Copy head branch name to clipboard