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 2015 course. If there is no comment, then the whole question is relevant.
I := 0
I := 1