Code

String refine option#676

Code

Merged

peterschrammel merged 5 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

allredj:testgen-string-refine-optionallredj/cbmc:testgen-string-refine-optionCopy head branch name to clipboard

Mar 23, 2017

Commits

Commits on Mar 23, 2017

• Adding refined_string_type to util Makefile

  

  romainbrenguier

  authored and

  Joel Allred

  committed
  6cc1266

  Copy full SHA for 6cc1266

• Adding string preprocessing of goto-programs to Makefile

  

  romainbrenguier

  authored and

  Joel Allred

  committed
  402f8e1

  Copy full SHA for 402f8e1

• Adding string solver cpp files to Makefile

  

  romainbrenguier

  authored and

  Joel Allred

  committed
  0558291

  Copy full SHA for 0558291

• Adding the string refinement option to the CBMC solvers

  Show description for c7328e2
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  c7328e2

  Copy full SHA for c7328e2

• Change option name to --refine-strings

  

  Joel Allred

  committed
  9d2a115

  Copy full SHA for 9d2a115