Code

Replace plain string dynamic-object#779

Code

Merged

peterschrammel merged 2 commits intodiffblue:security-scanner-supportdiffblue/cbmc:security-scanner-supportfrom

mariusmc92:cleanup/replace-plain-string-dynamic-objectmariusmc92/cbmc:cleanup/replace-plain-string-dynamic-objectCopy head branch name to clipboard

Apr 11, 2017

Commits

Commits on Apr 11, 2017

• Added global string for dynamic-object prefix

  mariusmc92

  committed
  8a7fbb7

  Copy full SHA for 8a7fbb7

• Added usages of the dynamic-object prefix's string

  Show description for 42f12f1
  mariusmc92

  committed
  42f12f1

  Copy full SHA for 42f12f1