Code

Remove curly brace CPP Lint checks#2109

Code

Merged

peterschrammel merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom LAJW:lajw/free-lambda-from-cpplint-oppressionCopy head branch name to clipboardApr 25, 2018

+68-107

Commits

Commits on Apr 24, 2018

• Update coding standard

  

  Lukasz A.J. Wrona

  committed
  d344dd9

  Copy full SHA for d344dd9

• Remove brace checking from cpplint

  

  Lukasz A.J. Wrona

  committed
  692c4f3

  Copy full SHA for 692c4f3

• Remove NOLINTs for lambdas.

  

  Lukasz A.J. Wrona

  committed
  78191ee

  Copy full SHA for 78191ee

Commits on Apr 25, 2018

• Rephrase and justify curly brace alignment exceptions

  

  Lukasz A.J. Wrona

  committed
  18cab61

  Copy full SHA for 18cab61