Code

Use fieldref exprt#3915

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thk123:use-fieldref-exprtthk123/cbmc:use-fieldref-exprtCopy head branch name to clipboard

Jan 30, 2019

Commits

Commits on Jan 29, 2019

• Use fieldref_expr to make the parsing more precise

  

  thk123

  committed
  60553c1

  Copy full SHA for 60553c1