Commits on Jun 6, 2024

1. Use CBMC version 5.95.1 …

   The upcoming CBMC version 6 release includes changes that may affect
   existing proofs. This PR will make sure that
   Jobs-for-AWS-IoT-embedded-sdk PRs are not negatively impacted by this
   release. After releasing CBMC version 6 we will issue a follow-up PR
   that will return Jobs-for-AWS-IoT-embedded-sdk to using CBMC's latest
   release, and will include any changes to proofs that may be necessary to
   support the new version.

   

   tautschnig committed Jun 6, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 5100c86
   • Browse repository at this point

   Copy the full SHA

   5100c86 View commit details

   Browse the repository at this point in the history