AI transformers now get function identifiers#3132

Merged

tautschnig merged 2 commits intodevelopfrom

ai-function-ids

Nov 5, 2018

Commits on Nov 5, 2018

ai and reaching definitions: use locationt instead of goto_programt::const_targett
Daniel Kroening
committed
ait: transformers now get function identifiers
Daniel Kroening
committed