Skip to content

ssa_exprt::get_object_name: add fast path#4193

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:get_object_name-fast
Feb 15, 2019

Commits

Commits on Feb 14, 2019