Improve pretty name of Java methods#2160

Merged

kroening merged 3 commits intodevelopfrom

fix-java-constructor-pretty-name

May 8, 2018

Commits on May 8, 2018

strip package name from base_name of Java class symbols
Daniel Kroening
committed
add signature to method pretty names
Daniel Kroening
committed
pretty name of constructors now uses empty declarator
Daniel Kroening
committed