Skip to content

Introduce fieldref_exprt to represent a field reference#1856

Merged
thk123 merged 2 commits intodiffblue:developfrom
thk123:refactor/fieldref_expr
Feb 23, 2018

Commits

Commits on Feb 23, 2018