Code

Improve pretty name of Java methods#2160

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

fix-java-constructor-pretty-namediffblue/cbmc:fix-java-constructor-pretty-nameCopy head branch name to clipboard

May 8, 2018

Commits

Commits on May 8, 2018

• strip package name from base_name of Java class symbols

  

  Daniel Kroening

  committed
  a9bb35c

  Copy full SHA for a9bb35c

• add signature to method pretty names

  

  Daniel Kroening

  committed
  b008bf3

  Copy full SHA for b008bf3

• pretty name of constructors now uses empty declarator

  

  Daniel Kroening

  committed
  6b064b3

  Copy full SHA for 6b064b3