Forbid copies of string preprocess#980

forejtv merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

romainbrenguier:feature/forbid-copies-of-string-preprocessromainbrenguier/cbmc:feature/forbid-copies-of-string-preprocessCopy head branch name to clipboard