Code

Fix issue testgen#119#802

Code

Merged

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

allredj:string-fix-119allredj/cbmc:string-fix-119Copy head branch name to clipboard

Apr 12, 2017

Commits

Commits on Apr 11, 2017

• Order string functions in alphabetical order

  

  romainbrenguier

  authored and

  Joel Allred

  committed
  5851f63

  Copy full SHA for 5851f63

• Make add_axioms_from_bool add concret constraints

  Show description for 03667af
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  03667af

  Copy full SHA for 03667af

• Adding tests for issue diffblue/test-gen#119

  

  romainbrenguier

  authored and

  Joel Allred

  committed
  aaa56bb

  Copy full SHA for aaa56bb

• Correct a mistake in the signature for String.valueOf

  Show description for 621f366
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  621f366

  Copy full SHA for 621f366