Code

Add and use CProverString.ofCharArray#9

Code

Merged

romainbrenguier merged 2 commits intomasterdiffblue/java-models-library:masterfrom

romain/string-of-char-arraydiffblue/java-models-library:romain/string-of-char-arrayCopy head branch name to clipboard

Oct 17, 2018

Commits

Commits on Oct 17, 2018

• Add and use CProverString.ofCharArray

  Show description for bb7871b
  romainbrenguier

  committed
  bb7871b

  Copy full SHA for bb7871b

• Model for StringBuilder append of char array

  romainbrenguier

  committed
  b7ca9fd

  Copy full SHA for b7ca9fd