Code

Make header guards uniform#334

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:unify-header-guardspeterschrammel/cbmc:unify-header-guardsCopy head branch name to clipboard

Dec 5, 2016

Commits

Commits on Dec 5, 2016

• Make header guards uniform

  peterschrammel

  committed
  40dc024

  Copy full SHA for 40dc024