Code

Misc string cleanup#5232

Code

Merged

thk123 merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:misc-string-cleanupthk123/cbmc:misc-string-cleanupCopy head branch name to clipboard

Feb 21, 2020

Commits

Commits on Feb 18, 2020

• Update parameter names

  Show description for edc76d1
  

  thk123

  committed
  edc76d1

  Copy full SHA for edc76d1

• Correct function_id comment

  Show description for 51d792b
  

  thk123

  committed
  51d792b

  Copy full SHA for 51d792b

Commits on Feb 20, 2020

• Rename variable to self explantory name

  Show description for 786f896
  

  thk123

  committed
  786f896

  Copy full SHA for 786f896