Code

cpplint sed format improvements#558

Code

Merged

kroening merged 5 commits intodiffblue:masterdiffblue/cbmc:masterfrom

rjmunro:feature/cpplint-sed-formatrjmunro/cbmc:feature/cpplint-sed-formatCopy head branch name to clipboard

Mar 13, 2017

Commits

Commits on Mar 3, 2017

• Explore matching nested bracketed stuff

  rjmunro

  committed
  a43b862

  Copy full SHA for a43b862

• Fix ; after } errors

  rjmunro

  committed
  4e6c7b2

  Copy full SHA for 4e6c7b2

• Fix missing space after , errors

  rjmunro

  committed
  89d259e

  Copy full SHA for 89d259e

• Replace tabs globally within the line

  rjmunro

  committed
  ce6b2b4

  Copy full SHA for ce6b2b4

• Add space after comma globally within the line

  rjmunro

  committed
  0b11c43

  Copy full SHA for 0b11c43