Code

Shortened the string contains test.#1186

Code

Merged

peterschrammel merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

jasigal:test/change-string-containsjasigal/cbmc:test/change-string-containsCopy head branch name to clipboard

Aug 1, 2017

Commits

Commits on Aug 1, 2017

• Shortened the string contains test.

  Show description for 571a720
  jasigal

  committed
  571a720

  Copy full SHA for 571a720