String refine java bytecode#559

Merged

kroening merged 3 commits intodiffblue:masterfrom

smowton:string-refine-java-bytecode

Mar 1, 2017

Commits on Mar 1, 2017

Introduce java.lang.String when string-refinement is activated

romainbrenguier
authored and
smowton
committed
Init string constants when refine-string disabled
smowton
committed
Style and document Java string-refine integration
smowton
committed