Adding base types of the String(Builder|Buffer) classes#1185

romainbrenguier merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

romainbrenguier:bugfix/string-basesromainbrenguier/cbmc:bugfix/string-basesCopy head branch name to clipboard