## Report.verdict


The report's first line: "proved", or "NOT proved:" and what is


`Report.verdict: str`


missing, counted ("1 of 2 postconditions not proved, 1 possible runtime error").