Make explicit that stringBuilder CBMC proof is bounded - Githubissues

aws / ota-for-aws-iot-embedded-sdk

MIT License

60 stars 74 forks source link

Make explicit that stringBuilder CBMC proof is bounded #511

Open tautschnig opened 5 months ago

tautschnig commented 5 months ago

Description

With CBMC v6, unwinding assertions are enabled by default.

Checklist:

[ ] I have tested my changes. No regression in existing tests.
[x] My code is formatted using Uncrustify.
[x] I have read and applied the rules stated in CONTRIBUTING.md.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.