Code

Clean resolve inherited component#3899

Code

Merged

thk123 merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:clean-resolve-inherited-componentthk123/cbmc:clean-resolve-inherited-componentCopy head branch name to clipboard

Jan 24, 2019

Commits

Commits on Jan 23, 2019

• Remove unused code

  

  thk123

  committed
  c3e4cbd

  Copy full SHA for c3e4cbd

Commits on Jan 24, 2019

• Use optional to indicate if an inherited component is not found

  Show description for 5bc48f8
  

  thk123

  committed
  5bc48f8

  Copy full SHA for 5bc48f8