Skip to content

Cleanup of uses of get_new_name - #2251

Merged
tautschnig merged 4 commits into
diffblue:developfrom
tautschnig:rename-cleanup
May 31, 2018
Merged

Cleanup of uses of get_new_name#2251
tautschnig merged 4 commits into
diffblue:developfrom
tautschnig:rename-cleanup

Consistently use get_fresh_aux_symbol instead of local implementations

4215f21
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs