Add a version of get_or_create_string_literal_symbol that takes a string parameter#4509

Merged

antlechner merged 3 commits intodiffblue:developfrom

antlechner:antonia/refactor-constant-string-symbol

Apr 12, 2019

Commits on Apr 10, 2019

Move string symbol creation Doxygen to header
antlechner
committed

Commits on Apr 12, 2019