Test gen support string additional options 2#738

Merged

peterschrammel merged 3 commits intodiffblue:test-gen-supportfrom

allredj:test-gen-support-string-additional-options-2

Apr 4, 2017

Commits on Mar 31, 2017

Adding options to cbmc for parameters of the string solver

romainbrenguier
authored and
Joel Allred
committed
Added option to the string solver for string length and

romainbrenguier
authored and
Joel Allred
committed

Commits on Apr 4, 2017

Bug corrections in string refinement

romainbrenguier
authored and
Joel Allred
committed