Code

Pre-contracts whitespace changes#4326

Code

Merged

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-non-functionalkarkhaz/cbmc:kk-non-functionalCopy head branch name to clipboard

Mar 5, 2019

Commits

Commits on Mar 4, 2019

• Cleans up some loops to have braces

  

  klaas

  authored and

  karkhaz

  committed
  66c662f

  Copy full SHA for 66c662f

• Whitespace fixes in prep for contracts patchset

  Show description for 8afda0b
  karkhaz

  committed
  8afda0b

  Copy full SHA for 8afda0b