The following past Tripos questions are from ancestors of the current Part II course Hoare Logic. The comments indicate which parts are (or are not) relevant to the course. If there is no comment, then the whole question is relevant.
I := 0
I := 1