Code

Sort includes using clang-format#2102

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thk123:formatting/sort-includes-clang-formatthk123/cbmc:formatting/sort-includes-clang-formatCopy head branch name to clipboard

Apr 23, 2018

Commits

Commits on Apr 23, 2018

• Sort includes using clang-format

  Show description for 7070ba1
  

  thk123

  committed
  7070ba1

  Copy full SHA for 7070ba1