Use generic signature for local variables with entry in LVTT#2975

Merged

mgudemann merged 2 commits intodiffblue:developfrom

mgudemann:feature/jbmc/local_variables_generic_types

Sep 21, 2018

Commits on Sep 20, 2018

Use generic signature for local variables with entry in LVTT
Matthias Güdemann
committed
Add unit test to check for generic local variables
Matthias Güdemann
committed