When adding String type, take care of cases where the symbol exists in table#995

Merged

kroening merged 2 commits intodiffblue:test-gen-supportfrom

romainbrenguier:bugfix/add_string_type#480

Jun 11, 2017

Commits on Jun 8, 2017

Take care of cases where the symbol exists in table diffblue/test-gen#480
romainbrenguier
committed

Commits on Jun 9, 2017

Improvements following review on PR#995
romainbrenguier
committed