Code

Fixed: Bug in String.indexOf() #612#1071

Code

Merged

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

jasigal:fix/indexOf-issue-612jasigal/cbmc:fix/indexOf-issue-612Copy head branch name to clipboard

Jul 4, 2017

Commits

Commits on Jul 4, 2017

• Fixed function inversion.

  Show description for 87ff9de
  jasigal

  committed
  87ff9de

  Copy full SHA for 87ff9de

• Extended check_axioms for not_contains and refactored

  Show description for cd29f68
  jasigal

  committed
  cd29f68

  Copy full SHA for cd29f68

• Added regresion test for indexOf

  Show description for 05516bb
  jasigal

  committed
  05516bb

  Copy full SHA for 05516bb