Code

Use model for String.hashCode#4546

Code

Merged

romainbrenguier merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:feature/string-hash-coderomainbrenguier/cbmc:feature/string-hash-codeCopy head branch name to clipboard

May 13, 2019

Commits

Commits on May 13, 2019

• Update for diffblue/java-models-library#10 (String.hashCode)

  Show description for 70b5af1
  romainbrenguier

  committed
  70b5af1

  Copy full SHA for 70b5af1

• Add models to jbmc String.hashCode test

  Show description for c36f15d
  romainbrenguier

  committed
  c36f15d

  Copy full SHA for c36f15d

• Stop preprocessing String.hashCode

  Show description for acded01
  romainbrenguier

  committed
  acded01

  Copy full SHA for acded01

• Add test for String.hashCode

  romainbrenguier

  committed
  f7bf4ba

  Copy full SHA for f7bf4ba

• Remove handling of hash_code in string solver

  Show description for 18d1a00
  romainbrenguier

  committed
  18d1a00

  Copy full SHA for 18d1a00