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 coreMQTT-Agent PRs are not
   negatively impacted by this release. After releasing CBMC version 6 we
   will issue a follow-up PR that will return coreMQTT-Agent 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 27da975
   • Browse repository at this point

   Copy the full SHA

   27da975 View commit details

   Browse the repository at this point in the history