Pretty constructors in java parse tree - #2152

Closed

kroening wants to merge 2 commits into

pretty-constructors

Commits on May 3, 2018

pretty print constructor names, in the style of javap
kroening
committed
6c0c8d9
use is_constructor member in parse tree
kroening
committed
ab78179