Code

Fix duplicated code#5319

Code

Merged

thk123 merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:fix-duplicated-codethk123/cbmc:fix-duplicated-codeCopy head branch name to clipboard

Apr 24, 2020

Commits

Commits on Apr 23, 2020

• Apply clang format to declaration and assignment printing

  

  Thomas Kiley

  committed
  388b547

  Copy full SHA for 388b547

• Remove duplicated code

  Show description for a7cc337
  

  Thomas Kiley

  committed
  a7cc337

  Copy full SHA for a7cc337