Code

Clean member of#3901

Code

Merged

thk123 merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:clean-member-ofthk123/cbmc:clean-member-ofCopy head branch name to clipboard

Jan 29, 2019

Commits

Commits on Jan 28, 2019

• Add documentation to the member_of function

  

  thk123

  committed
  e4f215c

  Copy full SHA for e4f215c

• Rename fieldref to clearer and lint-correct name

  

  thk123

  committed
  09213d3

  Copy full SHA for 09213d3

• Refactor member_of to make while loop clearer

  

  thk123

  committed
  659cc0b

  Copy full SHA for 659cc0b

• Remove deprecated call to make_typecast

  

  thk123

  committed
  b863377

  Copy full SHA for b863377