String tests: DiffBlue -> Diffblue#2092

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/diffblue-spellingsmowton/cbmc:smowton/cleanup/diffblue-spellingCopy head branch name to clipboard