Code

Fixing linting issues in solvers/cvc#419

Code

Merged

kroening merged 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

thk123:lint/solvers-cvcthk123/cbmc:lint/solvers-cvcCopy head branch name to clipboard

Jan 23, 2017

Commits

Commits on Jan 20, 2017

• Fixing simple linting errors in CVC

  Show description for 0779342
  

  thk123

  committed
  0779342

  Copy full SHA for 0779342

• Split convert_expr into a collection of smaller functions

  Show description for cf63d46
  

  thk123

  committed
  cf63d46

  Copy full SHA for cf63d46

• Replaced loop with simpler expression

  Show description for c03c174
  

  thk123

  committed
  c03c174

  Copy full SHA for c03c174

• Replaced a for loop with a ranged based for loop

  

  thk123

  committed
  c9404cd

  Copy full SHA for c9404cd