Code

Implement model for String.equals#2588

Code

Merged

romainbrenguier merged 8 commits intodiffblue:developdiffblue/cbmc:developfrom

codebyzeb:zgoriely/string-equalscodebyzeb/cbmc:zgoriely/string-equalsCopy head branch name to clipboard

Oct 1, 2018

Commits

Commits on Oct 1, 2018

• Update java-models-library submodule

  Show description for 1b349ed
  

  codebyzeb

  authored and

  romainbrenguier

  committed
  1b349ed

  Copy full SHA for 1b349ed

• Allow empty arrays in convert_array

  romainbrenguier

  committed
  77131c0

  Copy full SHA for 77131c0

• Use java models in String tests

  romainbrenguier

  committed
  968c239

  Copy full SHA for 968c239

• Stop preprocessing String.equals

  Show description for 7e53e6e
  

  codebyzeb

  authored and

  romainbrenguier

  committed
  7e53e6e

  Copy full SHA for 7e53e6e

• Stop output of useless warning

  Show description for 6d153a2
  romainbrenguier

  committed
  6d153a2

  Copy full SHA for 6d153a2

• Relax condition in instantiate

  Show description for ff740ef
  romainbrenguier

  committed
  ff740ef

  Copy full SHA for ff740ef

• Improve documentation of instantiate

  romainbrenguier

  committed
  a485739

  Copy full SHA for a485739

• Use java-models-library instead of java_bycode/library

  romainbrenguier

  committed
  87bd027

  Copy full SHA for 87bd027