Improve length handling in string preprocessing#994

Merged

forejtv merged 2 commits intodiffblue:test-gen-supportfrom

allredj:pr/string-preprocess-improve-lengths

Jun 14, 2017

Commits on Jun 12, 2017

Improvements on lengths

romainbrenguier
authored and
Joel Allred
committed
Update smoke tests for String.length
Joel Allred
committed