Corrections to the string solver - 2#646

Closed

allredj wants to merge 10 commits intodiffblue:masterfrom

allredj:string-refine-corrections-on-preprocess

Commits on Mar 22, 2017

Commits on Mar 23, 2017

Many corrections in preprocessing of strings

romainbrenguier
authored and
Joel Allred
committed
Many corrections in string refinement

romainbrenguier
authored and
Joel Allred
committed
Need to assign length before calls since it can be overwritten by functions with side-effect

romainbrenguier
authored and
Joel Allred
committed