Introduce fieldref_exprt to represent a field reference#1856
Merged
thk123 merged 2 commits intodiffblue:developfrom Feb 23, 2018
Merged
Introduce fieldref_exprt to represent a field reference#1856thk123 merged 2 commits intodiffblue:developfrom
thk123 merged 2 commits intodiffblue:developfrom
Commits
Commits on Feb 23, 2018
- committed
thk123 - committedthk123