Improve constructor and copy of strings#993

Merged

kroening merged 1 commit intodiffblue:test-gen-supportfrom

allredj:pr/improve-init-and-copy-of-strings

Jun 11, 2017

Commits on Jun 8, 2017

Improve constructor and copy of strings

romainbrenguier
authored and
Joel Allred
committed