Clarify usage of history variables in error messages#8456

qinheping wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

qinheping:issues/8453qinheping/cbmc:issues/8453Copy head branch name to clipboard