Skip to content

Extend object_descriptor_exprt::build and use it#3898

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:use-object_descriptor
Jan 24, 2019

Commits

Commits on Jan 24, 2019