String max input length option#1235

allredj merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:feature/string-max-input-length#948romainbrenguier/cbmc:feature/string-max-input-length#948Copy head branch name to clipboard