String refine option#676

Merged

peterschrammel merged 5 commits intodiffblue:test-gen-supportfrom

allredj:testgen-string-refine-option

Mar 23, 2017

Commits on Mar 23, 2017

Adding refined_string_type to util Makefile

romainbrenguier
authored and
Joel Allred
committed
Adding string preprocessing of goto-programs to Makefile

romainbrenguier
authored and
Joel Allred
committed
Adding string solver cpp files to Makefile

romainbrenguier
authored and
Joel Allred
committed
Adding the string refinement option to the CBMC solvers

romainbrenguier
authored and
Joel Allred
committed
Change option name to --refine-strings
Joel Allred
committed