CProverString.format definition and String.format model using it#20

romainbrenguier merged 3 commits intomasterdiffblue/java-models-library:masterfrom

feature/string-formatdiffblue/java-models-library:feature/string-formatCopy head branch name to clipboard