Code

String refine java bytecode#559

Code

Merged

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:string-refine-java-bytecodesmowton/cbmc:string-refine-java-bytecodeCopy head branch name to clipboard

Mar 1, 2017

Commits

Commits on Mar 1, 2017

• Introduce java.lang.String when string-refinement is activated

  Show description for ca11bb3
  

  romainbrenguier

  authored and

  smowton

  committed
  ca11bb3

  Copy full SHA for ca11bb3

• Init string constants when refine-string disabled

  Show description for 396f66e
  smowton

  committed
  396f66e

  Copy full SHA for 396f66e

• Style and document Java string-refine integration

  smowton

  committed
  4e4fa87

  Copy full SHA for 4e4fa87