Code

String tests: DiffBlue -> Diffblue#2092

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/diffblue-spellingsmowton/cbmc:smowton/cleanup/diffblue-spellingCopy head branch name to clipboard

Apr 20, 2018

Commits

Commits on Apr 19, 2018

• String tests: DiffBlue -> Diffblue

  smowton

  committed
  252474f

  Copy full SHA for 252474f