Make explicit that stringBuilder CBMC proof is bounded#511

tautschnig wants to merge 1 commit intoaws:mainaws/ota-for-aws-iot-embedded-sdk:mainfrom

tautschnig:stringBuilder-boundedtautschnig/ota-for-aws-iot-embedded-sdk:stringBuilder-boundedCopy head branch name to clipboard