Adjust proof tooling to support CBMC v6#513

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

tautschnig:cbmc-v6tautschnig/ota-for-aws-iot-embedded-sdk:cbmc-v6Copy head branch name to clipboard