Prefix property descriptions of panics with "Panic:"#4045

tautschnig wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:report-panictautschnig/kani:report-panicCopy head branch name to clipboard