[patch] Make test messages unique in checkpoint.exp

[Tom Tromey]

>>>>> "Abid" == Abid, Hafiz <Hafiz_Abid@mentor.com> writes:

Abid> While looking at the checkpoint.exp, I noted that there were many
Abid> tests with same messages. I updated the messages so that they are
Abid> unique following the convention already used in the file. How does it
Abid> look?

The patch is ok with the ChangeLog fix that Yao suggested.

thanks,
Tom