Escape curly braces in regexes#1794

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/goto-diff-test-escapessmowton/cbmc:smowton/fix/goto-diff-test-escapesCopy head branch name to clipboard