Code

Implement StringBuffer methods#843

Code

Merged

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

allredj:test-gen-string-fix-245allredj/cbmc:test-gen-string-fix-245Copy head branch name to clipboard

May 10, 2017

Commits

Commits on May 8, 2017

• Enable working smoke tests

  Show description for 21eeb29
  

  Joel Allred

  committed
  21eeb29

  Copy full SHA for 21eeb29

• Implement StringBuffer methods

  Show description for 6b24ec7
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  6b24ec7

  Copy full SHA for 6b24ec7